require "make install.doc" before installing documentation

diff --git a/doc/all.mk b/doc/all.mk
index 25a48794633137cd86e5248a5af285aa3686039b..59f398c55bf209a6763407bb4e6ae02f707ef8b7 100644 (file)
--- a/doc/all.mk
+++ b/doc/all.mk
@@ -6,7 +6,7 @@
 #  to fix that.  So, only run those shell scripts if we're going to
 #  build the documentation.
 #
-WITH_DOC := $(strip $(foreach x,install doc html man pdf doxygen,$(findstring $(x),$(MAKECMDGOALS))))
+WITH_DOC := $(strip $(foreach x,doc html man pdf doxygen,$(findstring $(x),$(MAKECMDGOALS))))
 
 #
 #  Convert adoc to man, and then let "install.man" deal with things.