[Python-checkins] r58009 - doctools/trunk/sphinx/builder.py

[georg.brandl]

Author: georg.brandl
Date: Thu Sep  6 16:13:08 2007
New Revision: 58009

Modified:
   doctools/trunk/sphinx/builder.py
Log:
Patch #1119 from Lars: correctly handle pruning the search index.


Modified: doctools/trunk/sphinx/builder.py
==============================================================================
--- doctools/trunk/sphinx/builder.py	(original)
+++ doctools/trunk/sphinx/builder.py	Thu Sep  6 16:13:08 2007
@@ -230,6 +230,7 @@
                 for tocfilename in self.env.files_to_rebuild.get(filename, []):
                     filenames_set.add(tocfilename)
             filenames_set.add('contents.rst')
+            import pdb; pdb.set_trace()
         else:
             # build all
             filenames_set = set(self.env.all_files)
@@ -498,7 +499,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