summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorTakeshi KOMIYA <i.tkomiya@gmail.com>2016-11-07 13:15:18 +0900
committerTakeshi KOMIYA <i.tkomiya@gmail.com>2016-11-16 12:05:44 +0900
commitdb732ac0b839a028a868a180550bb4f55d6e9b4b (patch)
treef6b13677407a36b0a12462ac15c1b22dd002a504 /Makefile
parentde3e8580c4a2cfaca2c07c794d01c1e8eb0dd384 (diff)
downloadsphinx-git-db732ac0b839a028a868a180550bb4f55d6e9b4b.tar.gz
Prepare to type-check using mypy
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile7
1 files changed, 5 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 01e3a7837..86226f3b5 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,6 @@
PYTHON ?= python
-.PHONY: all style-check clean clean-pyc clean-patchfiles clean-backupfiles \
+.PHONY: all style-check type-check clean clean-pyc clean-patchfiles clean-backupfiles \
clean-generated pylint reindent test covertest build
DONT_CHECK = -i build -i dist -i sphinx/style/jquery.js \
@@ -30,11 +30,14 @@ DONT_CHECK = -i build -i dist -i sphinx/style/jquery.js \
-i sphinx/search/tr.py \
-i .tox
-all: clean-pyc clean-backupfiles style-check test
+all: clean-pyc clean-backupfiles style-check type-check test
style-check:
@$(PYTHON) utils/check_sources.py $(DONT_CHECK) .
+type-check:
+ mypy sphinx/
+
clean: clean-pyc clean-pycache clean-patchfiles clean-backupfiles clean-generated clean-testfiles clean-buildfiles
clean-pyc: