summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorMariatta Wijaya <mariatta@python.org>2018-06-04 19:22:28 -0700
committerClaudiu Popa <pcmanticore@gmail.com>2018-06-05 07:29:27 -0700
commitd8c03a63bc87617a9a37f8a46d5223507da16255 (patch)
treef1b1eb343423f84de2024f8e1bfc691a8bd1fe6f /Makefile
parent3acb4a9feb1617e619cd01614c6fbb12ca8bafab (diff)
downloadpylint-git-d8c03a63bc87617a9a37f8a46d5223507da16255.tar.gz
Use python-docs-theme
Closes https://github.com/PyCQA/pylint/issues/2167
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index bad07ba94..ab21b6025 100644
--- a/Makefile
+++ b/Makefile
@@ -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)