diff options
author | Konstantin Manna <Konstantin@Manna.uno> | 2018-07-28 20:21:30 +0200 |
---|---|---|
committer | Claudiu Popa <pcmanticore@gmail.com> | 2018-08-01 08:40:54 +0200 |
commit | 9cb0e3aa04de095ab50ec7b54bad46f2f9aa2eb6 (patch) | |
tree | 034c7dbe744fd92b219b95e4982982d0d86648c4 /tox.ini | |
parent | d0f13426deafc8c5344a8af05469cab0e0d17d91 (diff) | |
download | pylint-git-9cb0e3aa04de095ab50ec7b54bad46f2f9aa2eb6.tar.gz |
check rst files with rst-linter
Diffstat (limited to 'tox.ini')
-rw-r--r-- | tox.ini | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -64,6 +64,7 @@ whitelist_externals = rm deps = sphinx python-docs-theme + restructuredtext_lint commands = pip install python_docs_theme @@ -72,3 +73,4 @@ commands = rm -f extensions.rst python ./exts/pylint_extensions.py sphinx-build -b html -d _build/doctrees . _build/html + python ./check_rst_files.py |