diff options
| author | Georg Brandl <georg@python.org> | 2008-05-01 18:51:07 +0000 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2008-05-01 18:51:07 +0000 |
| commit | b6f8f5d37c8ed554a1764c4b81183c7d24e56951 (patch) | |
| tree | ada90e8778fae82d8561ff0edbac221828e0913c /sphinx/htmlhelp.py | |
| parent | f91b87b14f8448338c6457b4bdb576284cbd14bc (diff) | |
| download | sphinx-git-b6f8f5d37c8ed554a1764c4b81183c7d24e56951.tar.gz | |
Don't write modindex in html help index file if it's disabled.
Diffstat (limited to 'sphinx/htmlhelp.py')
| -rw-r--r-- | sphinx/htmlhelp.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sphinx/htmlhelp.py b/sphinx/htmlhelp.py index 0742dba98..b3bbd4f63 100644 --- a/sphinx/htmlhelp.py +++ b/sphinx/htmlhelp.py @@ -147,7 +147,8 @@ def build_hhx(builder, outdir, outname): f.write(contents_header) # special books f.write('<LI> ' + object_sitemap % ('Main page', 'index.html')) - f.write('<LI> ' + object_sitemap % ('Global Module Index', 'modindex.html')) + if builder.config.html_use_modindex: + f.write('<LI> ' + object_sitemap % ('Global Module Index', 'modindex.html')) # the TOC toc = builder.env.get_and_resolve_doctree(builder.config.master_doc, builder) def write_toc(node, ullevel=0): |