diff --git a/Makefile b/Makefile
index 808689c82..206f853fc 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-.PHONY: all mostlyclean clean install zip avail unavail bin lib doc samples
+.PHONY: all mostlyclean clean install zip avail unavail bin lib doc html info samples
 
 .SUFFIXES:
 
@@ -14,7 +14,7 @@ avail unavail bin:
 lib:
 	@$(MAKE) -C libsrc  --no-print-directory $@
 
-doc:
+doc html info:
 	@$(MAKE) -C doc     --no-print-directory $@
 
 samples: