diff options
author | Christian Grothoff <christian@grothoff.org> | 2024-02-19 10:02:32 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2024-02-19 10:02:32 +0100 |
commit | 12ef9638945886347615b119f173c64d7735a280 (patch) | |
tree | 28ae08acd2ebf6ab21e83371917ba95e54e092a7 | |
parent | b60d40de933dc52a08df684a7b1524b57a91fd5d (diff) | |
download | tutorials-12ef9638945886347615b119f173c64d7735a280.tar.gz tutorials-12ef9638945886347615b119f173c64d7735a280.tar.bz2 tutorials-12ef9638945886347615b119f173c64d7735a280.zip |
fix section title label duplication
-rwxr-xr-x | conf.py | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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 = '' |