diff options
author | Claudiu Popa <pcmanticore@gmail.com> | 2018-06-05 08:18:24 -0700 |
---|---|---|
committer | Claudiu Popa <pcmanticore@gmail.com> | 2018-06-05 08:18:24 -0700 |
commit | 2a18953368ac362e02d4043faa800c7017d1018e (patch) | |
tree | 320ae03314c6ebb80f68ffdbb06f2f06f07021bf /tox.ini | |
parent | 00e7309375aa599f1a898c165535b1acb26437ad (diff) | |
download | pylint-git-2a18953368ac362e02d4043faa800c7017d1018e.tar.gz |
Install python-docs-theme before building the odocumentation
Diffstat (limited to 'tox.ini')
-rw-r--r-- | tox.ini | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -66,6 +66,7 @@ deps = python-docs-theme commands = + pip install python_docs_theme rm -f features.rst python ./exts/pylint_features.py rm -f extensions.rst |