summaryrefslogtreecommitdiff
path: root/Doc/Makefile
diff options
context:
space:
mode:
authorZachary Ware <zachary.ware@gmail.com>2016-03-24 22:44:41 -0500
committerZachary Ware <zachary.ware@gmail.com>2016-03-24 22:44:41 -0500
commitbfba2cd40629e52ba74ddc75a3415adc8f0ef71b (patch)
tree13fa683240840efe019a72c5bdd3231fa1227abb /Doc/Makefile
parent228ca33470034eb79d6ff5d6ca772a373b2a89a7 (diff)
downloadcpython-git-bfba2cd40629e52ba74ddc75a3415adc8f0ef71b.tar.gz
Don't doc check the venv dir
Diffstat (limited to 'Doc/Makefile')
-rw-r--r--Doc/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/Makefile b/Doc/Makefile
index a42e98bd9c..03a37f1e49 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -153,7 +153,7 @@ dist:
cp -pPR build/epub/Python.epub dist/python-$(DISTVERSION)-docs.epub
check:
- $(PYTHON) tools/rstlint.py -i tools
+ $(PYTHON) tools/rstlint.py -i tools -i venv
serve:
../Tools/scripts/serve.py build/html