summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index ac2c223fe..89b5bb5aa 100644
--- a/Makefile
+++ b/Makefile
@@ -57,7 +57,7 @@ style-check:
.PHONY: type-check
type-check:
- mypy sphinx/writers
+ mypy sphinx
.PHONY: pylint
pylint: