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.

----------
components: Documentation tools (Sphinx)
files: sphinx-index.diff
keywords: patch
messages: 55689
nosy: lars.gustaebel
severity: normal
status: open
title: Search index is messed up after partial rebuilding

__________________________________
Tracker <[EMAIL PROTECTED]>
<http://bugs.python.org/issue1119>
__________________________________
Index: builder.py
===================================================================
--- builder.py  (revision 58006)
+++ builder.py  (working copy)
@@ -498,7 +498,7 @@
         except (IOError, OSError):
             pass
         # delete all entries for files that will be rebuilt
-        self.indexer.prune(set(self.env.all_files) - set(filenames))
+        self.indexer.prune([fn[:-4] for fn in set(self.env.all_files) - 
set(filenames)])
 
     def index_file(self, filename, doctree, title):
         # only index pages with title
_______________________________________________
Python-bugs-list mailing list 
Unsubscribe: 
http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com

Reply via email to