diff --git a/Makefile b/Makefile
index d00136784..5db00e7ad 100644
--- a/Makefile
+++ b/Makefile
@@ -5,6 +5,7 @@
 all mostlyclean clean install:
 	@$(MAKE) -C src    --no-print-directory $@
 	@$(MAKE) -C libsrc --no-print-directory $@
+	@$(MAKE) -C doc    --no-print-directory $@
 
 avail unavail bin:
 	@$(MAKE) -C src    --no-print-directory $@