summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2024-02-19 10:02:32 +0100
committerChristian Grothoff <christian@grothoff.org>2024-02-19 10:02:32 +0100
commit12ef9638945886347615b119f173c64d7735a280 (patch)
tree28ae08acd2ebf6ab21e83371917ba95e54e092a7
parentb60d40de933dc52a08df684a7b1524b57a91fd5d (diff)
downloadtutorials-12ef9638945886347615b119f173c64d7735a280.tar.gz
tutorials-12ef9638945886347615b119f173c64d7735a280.tar.bz2
tutorials-12ef9638945886347615b119f173c64d7735a280.zip
fix section title label duplication
-rwxr-xr-xconf.py2
1 files changed, 2 insertions, 0 deletions
diff --git a/conf.py b/conf.py
index a62b31f..f87f689 100755
--- a/conf.py
+++ b/conf.py
@@ -95,6 +95,8 @@ release = "0.9.0"
# for a list of supported languages.
# language = None
+autosectionlabel_prefix_document=True
+
# There are two options for replacing |today|: either, you set today to some
# non-false value, then it is used:
# today = ''