Patch #1119 from Lars: correctly handle pruning the search index.

sphinx/builder.py

@@ -230,6 +230,7 @@ class Builder(object):
                 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 @@ class StandaloneHTMLBuilder(Builder):
         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