don't build docs on "make install"

require "make install.doc", which makes sense for new CC-by-NC 4.0
license

diff --git a/doc/all.mk b/doc/all.mk
index 58d969b32d8dfde225e0b98bb25efe822e8d0de3..c4cf477a10601ed9296caa023b76a164160e34fe 100644 (file)
--- a/doc/all.mk
+++ b/doc/all.mk
@@ -26,7 +26,7 @@ ifeq "$(WITH_DOCS)" "yes"
 #  to fix that.  So, only run those shell scripts if we're going to
 #  build the documentation.
 #
-BUILD_DOC := $(strip $(foreach x,doc html pdf adoc install clean,$(findstring $(x),$(MAKECMDGOALS))))
+BUILD_DOC := $(strip $(foreach x,doc html pdf adoc install.doc clean,$(findstring $(x),$(MAKECMDGOALS))))
 ifneq "$(BUILD_DOC)" ""
 
 install: install.doc