summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorTakeshi KOMIYA <i.tkomiya@gmail.com>2019-05-30 01:07:03 +0900
committerTakeshi KOMIYA <i.tkomiya@gmail.com>2019-05-30 01:07:04 +0900
commit984d2f4b228318d03682022d52afde3aaae06d12 (patch)
tree3c2037a5590cee9b05d459e2208d122ad0d4696e /Makefile
parente80f88ac62f8bcca1e1b2e497a46118740900a14 (diff)
downloadsphinx-git-984d2f4b228318d03682022d52afde3aaae06d12.tar.gz
Makefile: Add doclinter target
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 89b5bb5aa..542083c49 100644
--- a/Makefile
+++ b/Makefile
@@ -59,6 +59,10 @@ style-check:
type-check:
mypy sphinx
+.PHONY: doclinter
+doclinter:
+ python utils/doclinter.py CHANGES *.rst doc/
+
.PHONY: pylint
pylint:
@pylint --rcfile utils/pylintrc sphinx