summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorNed Batchelder <ned@nedbatchelder.com>2019-09-09 05:38:03 -0400
committerNed Batchelder <ned@nedbatchelder.com>2019-09-09 05:38:03 -0400
commit692a0fc2ad8bbd8a3c4009460783e49e9558605a (patch)
tree28b59ce810bbd404b56af971a033cdeee422ff02 /Makefile
parent0b27364b24aabbaf52dff3ad4842ec07971f9adb (diff)
downloadpython-coveragepy-git-692a0fc2ad8bbd8a3c4009460783e49e9558605a.tar.gz
A little more in the db schema docs
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 996b7d4f..b0f3ccf1 100644
--- a/Makefile
+++ b/Makefile
@@ -124,6 +124,7 @@ docreqs:
tox -q -e doc --notest
dochtml: docreqs
+ .tox/doc/bin/python doc/check_copied_from.py doc/*.rst
$(SPHINXBUILD) -b html doc doc/_build/html
@echo
@echo "Build finished. The HTML pages are in doc/_build/html."