From ae107e6dccfb5f384febc31674248899a10c1a34 Mon Sep 17 00:00:00 2001 From: Joseph Hunkeler Date: Tue, 12 Apr 2016 17:21:51 -0400 Subject: Omit index, because we are not using it --- source/conf.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'source/conf.py') 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 -- cgit