diff options
| author | Jacob Mason <jacoblmason@gmail.com> | 2010-06-25 18:38:40 -0500 |
|---|---|---|
| committer | Jacob Mason <jacoblmason@gmail.com> | 2010-06-25 18:38:40 -0500 |
| commit | d9b07f4c7d54a3d93400d59c993eb7f9b77660be (patch) | |
| tree | 00e905f2bbf5e985a10b791d2b7b243cf98cb66b /sphinx/builders/websupport.py | |
| parent | 3babf6e968eac72c7ab4b7728fb796fd1d694057 (diff) | |
| download | sphinx-git-d9b07f4c7d54a3d93400d59c993eb7f9b77660be.tar.gz | |
delete replaced documents in xapian when docs are rebuilt
Diffstat (limited to 'sphinx/builders/websupport.py')
| -rw-r--r-- | sphinx/builders/websupport.py | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/sphinx/builders/websupport.py b/sphinx/builders/websupport.py index 19b084628..cd14fb9ef 100644 --- a/sphinx/builders/websupport.py +++ b/sphinx/builders/websupport.py @@ -37,10 +37,7 @@ class WebSupportBuilder(StandaloneHTMLBuilder): def load_indexer(self, docnames): keep = set(self.env.all_docs) - set(docnames) self.indexer = self.app.search - if self.indexer is not None: - self.indexer.create_index() - # delete all entries for files that will be rebuilt - self.indexer.prune(keep) + self.indexer.init_indexing() def handle_page(self, pagename, addctx, templatename='page.html', outfilename=None, event_arg=None): @@ -97,4 +94,4 @@ class WebSupportBuilder(StandaloneHTMLBuilder): copyfile(self.env.doc2path(pagename), source_name) def dump_search_index(self): - pass + self.indexer.finish_indexing() |