diff --git a/doc/Makefile b/doc/Makefile
deleted file mode 100644
--- a/doc/Makefile
+++ /dev/null
@@ -1,2 +0,0 @@
-all:
-	$(MAKE) -C ..