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
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