diff options
author | Joseph Hunkeler <jhunkeler@gmail.com> | 2016-04-12 17:21:51 -0400 |
---|---|---|
committer | Joseph Hunkeler <jhunkeler@gmail.com> | 2016-04-12 17:21:51 -0400 |
commit | ae107e6dccfb5f384febc31674248899a10c1a34 (patch) | |
tree | 67b3d384e79c7c14481df61f1d4558467eca3f54 /source/conf.py | |
parent | 30872974e04f6da6726476de7e22dbe8e74c86a1 (diff) | |
download | astroconda-ae107e6dccfb5f384febc31674248899a10c1a34.tar.gz |
Omit index, because we are not using it
Diffstat (limited to 'source/conf.py')
-rw-r--r-- | source/conf.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/source/conf.py b/source/conf.py index 5f1283e..85d0f17 100644 --- a/source/conf.py +++ b/source/conf.py @@ -162,10 +162,10 @@ html_static_path = ['_static'] #html_additional_pages = {} # If false, no module index is generated. -#html_domain_indices = True +html_domain_indices = False # If false, no index is generated. -#html_use_index = True +html_use_index = False # If true, the index is split into individual pages for each letter. #html_split_index = False |