diff options
author | Mariatta Wijaya <mariatta@python.org> | 2018-06-04 19:22:28 -0700 |
---|---|---|
committer | Claudiu Popa <pcmanticore@gmail.com> | 2018-06-05 07:29:27 -0700 |
commit | d8c03a63bc87617a9a37f8a46d5223507da16255 (patch) | |
tree | f1b1eb343423f84de2024f8e1bfc691a8bd1fe6f /Makefile | |
parent | 3acb4a9feb1617e619cd01614c6fbb12ca8bafab (diff) | |
download | pylint-git-d8c03a63bc87617a9a37f8a46d5223507da16255.tar.gz |
Use python-docs-theme
Closes https://github.com/PyCQA/pylint/issues/2167
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -36,6 +36,7 @@ tests: $(TOX) docs: $(PIP) $(PIP) install . $(PIP) install Sphinx + $(PIP) install python-docs-theme . $(PYVE)/bin/activate; make all -C doc deb: $(PKG_DEB) |