diff options
| author | Claudiu Popa <pcmanticore@gmail.com> | 2016-08-14 20:51:46 +0300 |
|---|---|---|
| committer | Claudiu Popa <pcmanticore@gmail.com> | 2016-08-14 21:01:58 +0300 |
| commit | 31096db040b0050deb9602b8eb839b782edcfd86 (patch) | |
| tree | 5649426cfb17e823c0404af003526c57647dc5e7 /doc/exts | |
| parent | 246d49f9e618d2391365de9e54e18d4a25034676 (diff) | |
| download | pylint-git-31096db040b0050deb9602b8eb839b782edcfd86.tar.gz | |
Move parts of the documentation into their own folder section.
Diffstat (limited to 'doc/exts')
| -rwxr-xr-x | doc/exts/pylint_extensions.py | 2 | ||||
| -rwxr-xr-x | doc/exts/pylint_features.py | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/doc/exts/pylint_extensions.py b/doc/exts/pylint_extensions.py index e1d4f67ff..a371cd275 100755 --- a/doc/exts/pylint_extensions.py +++ b/doc/exts/pylint_extensions.py @@ -48,7 +48,7 @@ def builder_inited(app): linter = PyLinter() linter.load_plugin_modules(modules) - extensions_doc = os.path.join(base_path, 'doc', 'extensions.rst') + extensions_doc = os.path.join(base_path, 'doc', 'reference_guide', 'extensions.rst') with open(extensions_doc, 'w') as stream: stream.write("Optional Pylint checkers in the extensions module\n") stream.write("=================================================\n\n") diff --git a/doc/exts/pylint_features.py b/doc/exts/pylint_features.py index b81d1e4b6..5322c27cb 100755 --- a/doc/exts/pylint_features.py +++ b/doc/exts/pylint_features.py @@ -18,7 +18,7 @@ def builder_inited(app): linter = PyLinter() linter.load_default_plugins() - features = os.path.join(base_path, 'doc', 'features.rst') + features = os.path.join(base_path, 'doc', 'reference_guide', 'features.rst') with open(features, 'w') as stream: stream.write("Pylint features\n") stream.write("===============\n\n") |