Georg Brandl added the comment: Lars Gustäbel schrieb: > New submission from Lars Gustäbel: > > When rebuilding parts of the documentation the search index is emptied. > The problem is that the extensions are not stripped from the filenames > that are given to IndexBuilder.prune() method. > > Therefore, the Search widget on http://docs.python.org/dev/3.0/ produces > no results.
Thanks, fixed in rev. 58009! Georg ---------- nosy: +georg.brandl resolution: -> accepted status: open -> closed __________________________________ Tracker <[EMAIL PROTECTED]> <http://bugs.python.org/issue1119> __________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
