diff --git a/Makefile b/Makefile
--- a/Makefile
+++ b/Makefile
@@ -52,7 +52,7 @@ default: all
 
 all: $(DISTFILES) all-local
 
-all-local: doc
+all-local:
 
 .PHONY: doc
 doc: