diff --git a/docs/source/conf.py b/docs/source/conf.py index 1039f73465..9f4f79a749 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -359,4 +359,15 @@ autodoc_default_options = { 'private-members': True, } +# Sphinx will add “permalinks” for each heading and description environment as paragraph signs that +# become visible when the mouse hovers over them. +# This value determines the text for the permalink; it defaults to "¶". Set it to None or the empty +# string to disable permalinks. +# https://www.sphinx-doc.org/en/master/usage/configuration.html#confval-html_add_permalinks html_add_permalinks = True + +# True to prefix each section label with the name of the document it is in, followed by a colon. +# For example, index:Introduction for a section called Introduction that appears in document index.rst. +# Useful for avoiding ambiguity when the same section heading appears in different documents. +# http://www.sphinx-doc.org/en/master/usage/extensions/autosectionlabel.html +autosectionlabel_prefix_document = True