[issue1119] Search index is messed up after partial rebuilding

2007-09-06 Thread Georg Brandl
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. > > T

[issue1119] Search index is messed up after partial rebuilding

2007-09-06 Thread Lars Gustäbel
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/ produce