diff --git a/Makefile b/Makefile
index fd413a0..6e8eaf1 100644
--- a/Makefile
+++ b/Makefile
@@ -28,7 +28,6 @@ install_lib:
 
 install_dev:
 	$(MAKE) -C src -f MakeLib.mk $@
-	$(MAKE) -C doc $@
 
 uninstall:
 	$(MAKE) -C src -f MakeApp.mk $@