fuchsia-china/third_party.pylibs.pylint.src
1
0
Fork 0
mirror of https://fuchsia.googlesource.com/third_party/github.com/pylint-dev/pylint synced 2024-09-20 23:51:39 +00:00
Code Issues Actions 8 Packages Projects Releases Wiki Activity

Prefix rst autolabels with filename to prevent collisions from include

Browse Source 
Fix cross reference labels
This commit is contained in:
Bryce Guinta 2018-07-31 14:28:30 -06:00 committed by Claudiu Popa
parent 8bb11f33f3
commit d1dadeaec8
2 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
doc/conf.py
View File

@ -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

4
doc/development_guide/contribute.rst
View File

@ -4,6 +4,8 @@
Contributing
==============
.. _bug reports, feedback:
Bug reports, feedback
---------------------
@ -26,6 +28,8 @@ astroid:
* https://github.com/PyCQA/astroid
.. _Mailing lists:
Mailing lists
-------------