diff --git a/Makefile.local b/Makefile.local index a5659f3..7dfc268 100644 --- a/Makefile.local +++ b/Makefile.local @@ -1,3 +1,3 @@ -typecheck: +check-mypy: @echo "no op - swh-docs does not need typechecking, skipping"