diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2017-01-11 00:15:34 +0900 |
---|---|---|
committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2017-01-28 20:43:54 +0900 |
commit | e2c7b1db4206542c72e0dfbfc78bae9a8d153dfd (patch) | |
tree | 9a014aff0077ee9408da986e7bf6946a8920de33 /sphinx/builders/devhelp.py | |
parent | 0b0637deb2f093de80de102348de6c89fe432e11 (diff) | |
download | sphinx-git-e2c7b1db4206542c72e0dfbfc78bae9a8d153dfd.tar.gz |
Add IndexEntries adapter
Diffstat (limited to 'sphinx/builders/devhelp.py')
-rw-r--r-- | sphinx/builders/devhelp.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sphinx/builders/devhelp.py b/sphinx/builders/devhelp.py index af8bcfeed..031c55184 100644 --- a/sphinx/builders/devhelp.py +++ b/sphinx/builders/devhelp.py @@ -22,6 +22,7 @@ from sphinx import addnodes from sphinx.util import logging from sphinx.util.osutil import make_filename from sphinx.builders.html import StandaloneHTMLBuilder +from sphinx.environment.adapters.indexentries import IndexEntries try: import xml.etree.ElementTree as etree @@ -104,7 +105,7 @@ class DevhelpBuilder(StandaloneHTMLBuilder): # Index functions = etree.SubElement(root, 'functions') - index = self.env.create_index(self) + index = IndexEntries(self.env).create_index(self) def write_index(title, refs, subitems): # type: (unicode, List[Any], Any) -> None |