diff options
| author | Konstantin Manna <Konstantin@Manna.uno> | 2018-07-31 18:16:46 +0200 |
|---|---|---|
| committer | Claudiu Popa <pcmanticore@gmail.com> | 2018-08-01 08:40:54 +0200 |
| commit | 1dffc589bbcad0bde33de0c486ca73f3c683b11d (patch) | |
| tree | 30c54a8506ebdcacbed232af843ae5b34a4a5b17 /tox.ini | |
| parent | 9cb0e3aa04de095ab50ec7b54bad46f2f9aa2eb6 (diff) | |
| download | pylint-git-1dffc589bbcad0bde33de0c486ca73f3c683b11d.tar.gz | |
use sphinx-build instead of rstlint
Diffstat (limited to 'tox.ini')
| -rw-r--r-- | tox.ini | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -72,5 +72,4 @@ commands = python ./exts/pylint_features.py rm -f extensions.rst python ./exts/pylint_extensions.py - sphinx-build -b html -d _build/doctrees . _build/html - python ./check_rst_files.py + sphinx-build -W -b html -d _build/doctrees . _build/html |