Merge pull request #1110 from jchodera/remove-index

Turn off HTML index generation in Sphinx.

docs-source/developerguide/conf.py

@@ -142,7 +142,7 @@ html_static_path = ['_static']
 #html_domain_indices = True
 
 # 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

docs-source/usersguide/conf.py

@@ -142,7 +142,7 @@ html_static_path = ['_static']
 #html_domain_indices = True
 
 # 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