diff options
author | Zachary Ware <zachary.ware@gmail.com> | 2016-03-25 03:44:41 (GMT) |
---|---|---|
committer | Zachary Ware <zachary.ware@gmail.com> | 2016-03-25 03:44:41 (GMT) |
commit | bfba2cd40629e52ba74ddc75a3415adc8f0ef71b (patch) | |
tree | 13fa683240840efe019a72c5bdd3231fa1227abb | |
parent | 228ca33470034eb79d6ff5d6ca772a373b2a89a7 (diff) | |
download | cpython-bfba2cd40629e52ba74ddc75a3415adc8f0ef71b.zip cpython-bfba2cd40629e52ba74ddc75a3415adc8f0ef71b.tar.gz cpython-bfba2cd40629e52ba74ddc75a3415adc8f0ef71b.tar.bz2 |
Don't doc check the venv dir
-rw-r--r-- | Doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index a42e98b..03a37f1 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 |