html_add_permalinks has been deprecated (and we do not seem to actually use it)

Author: sebastianbergmann

src/conf.py

@@ -140,7 +140,7 @@ def get_version():
 # Add any paths that contain custom themes here, relative to this directory.
 #html_theme_path = ['_templates']
 
-html_add_permalinks = ""
+#html_add_permalinks = ""
 
 # The name for this set of Sphinx documents.  If None, it defaults to
 # "<project> v<release> documentation".