message: Remove python modindex file from docs
diff: @@ -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
  