diff options
Diffstat (limited to 'sphinx/builders/websupport.py')
| -rw-r--r-- | sphinx/builders/websupport.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/sphinx/builders/websupport.py b/sphinx/builders/websupport.py index e43c46dee..5f27b9074 100644 --- a/sphinx/builders/websupport.py +++ b/sphinx/builders/websupport.py @@ -163,7 +163,6 @@ class WebSupportBuilder(StandaloneHTMLBuilder): for f in glob(path.join(self.doctreedir, '*.doctree.old')): os.remove(f) - def dump_search_index(self): self.indexer.finish_indexing() |