summaryrefslogtreecommitdiff
path: root/docs/conf.py.in
diff options
context:
space:
mode:
authorAina Niemetz <aina.niemetz@gmail.com>2021-06-18 21:16:29 -0700
committerGitHub <noreply@github.com>2021-06-19 04:16:29 +0000
commit8f98fded91cb6b7a0099d10bd4c5155e9e9ef9b6 (patch)
tree90d5e8ed91dd5dac6151b5b773fe8b101c341bac /docs/conf.py.in
parent34c5774e511ebb2e5e9672cb7381797c3cd6264e (diff)
docs: Fix config to produce unique Sphinx section labels. (#6767)
Diffstat (limited to 'docs/conf.py.in')
-rw-r--r--docs/conf.py.in3
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']
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback