From 2bd35f87ffd38a28776e9dfd1d45fddd6e8a646c Mon Sep 17 00:00:00 2001 From: baldurk Date: Fri, 16 Feb 2018 09:41:16 +0000 Subject: [PATCH] Remove python modindex file from docs --- docs/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/conf.py b/docs/conf.py index 44133ddcc..da172142e 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -195,7 +195,7 @@ html_title = 'RenderDoc documentation' #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