diff --git a/Makefile.local b/Makefile.local
new file mode 100644
index 0000000..a5659f3
--- /dev/null
+++ b/Makefile.local
@@ -0,0 +1,3 @@
+
+typecheck:
+	@echo "no op - swh-docs does not need typechecking, skipping"