diff options
| author | Claudiu Popa <pcmanticore@gmail.com> | 2017-07-08 12:43:34 +0300 |
|---|---|---|
| committer | Claudiu Popa <pcmanticore@gmail.com> | 2017-07-08 12:43:34 +0300 |
| commit | 9968861333217d01f2d3bba300458ed80be185c9 (patch) | |
| tree | 10d9116bf8b9fa362f205ac689434e5f0268f855 /doc/conf.py | |
| parent | bff8204e68e5092f6538549eb6e6b8704e766483 (diff) | |
| download | pylint-git-9968861333217d01f2d3bba300458ed80be185c9.tar.gz | |
Remove hard coded cross references
Diffstat (limited to 'doc/conf.py')
| -rw-r--r-- | doc/conf.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/conf.py b/doc/conf.py index c0b374a8d..ce9aa94ef 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -25,7 +25,9 @@ sys.path.append(os.path.abspath('exts')) # Add any Sphinx extension module names here, as strings. They can be extensions # coming with Sphinx (named 'sphinx.ext.*') or your custom ones. -extensions = ['pylint_features', 'pylint_extensions'] +extensions = ['pylint_features', + 'pylint_extensions', + 'sphinx.ext.autosectionlabel'] # Add any paths that contain templates here, relative to this directory. templates_path = ['_templates'] |