diff options
author | Bryce Guinta <bryce.paul.guinta@gmail.com> | 2018-07-31 14:28:30 -0600 |
---|---|---|
committer | Claudiu Popa <pcmanticore@gmail.com> | 2018-08-01 08:40:54 +0200 |
commit | d1dadeaec8f81e6326fe70cc631ca47f4aae78c6 (patch) | |
tree | a69dcff6f427c972bfb4bfe8791a4158379eba0a /doc/conf.py | |
parent | 8bb11f33f3a17fb518f129cd80a11df35aeaaffd (diff) | |
download | pylint-git-d1dadeaec8f81e6326fe70cc631ca47f4aae78c6.tar.gz |
Prefix rst autolabels with filename to prevent collisions from include
Fix cross reference labels
Diffstat (limited to 'doc/conf.py')
-rw-r--r-- | doc/conf.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/conf.py b/doc/conf.py index 64a8e6a66..95e0adfb5 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -237,3 +237,7 @@ intersphinx_mapping = { 'astroid': ('http://astroid.readthedocs.io/en/latest/', None), 'python': ('https://docs.python.org/3', None), } + +# Prevent label issues due to colliding section names +# through including mulitple documents +autosectionlabel_prefix_document = True |