diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-06-18 21:16:29 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-19 04:16:29 +0000 |
commit | 8f98fded91cb6b7a0099d10bd4c5155e9e9ef9b6 (patch) | |
tree | 90d5e8ed91dd5dac6151b5b773fe8b101c341bac /docs/conf.py.in | |
parent | 34c5774e511ebb2e5e9672cb7381797c3cd6264e (diff) |
docs: Fix config to produce unique Sphinx section labels. (#6767)
Diffstat (limited to 'docs/conf.py.in')
-rw-r--r-- | docs/conf.py.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/conf.py.in b/docs/conf.py.in index 35f0b3dd2..4447d1441 100644 --- a/docs/conf.py.in +++ b/docs/conf.py.in @@ -49,6 +49,9 @@ extensions = [ bibtex_bibfiles = ['references.bib'] +# Make sure the target is unique +autosectionlabel_prefix_document = True + # Add any paths that contain templates here, relative to this directory. templates_path = ['_templates'] |