man files are built on "make install", not "make"

diff --git a/doc/all.mk b/doc/all.mk
index bd011c7fa064439d852ecb53a561461d7585ad32..e87614d2d82dc519c429ec03e9d1660343995076 100644 (file)
--- a/doc/all.mk
+++ b/doc/all.mk
@@ -28,7 +28,7 @@ $(BUILD_DIR)/make/man.mk: $(ADOC2MAN_FILES) | $(BUILD_DIR)/make
        done
 
 -include $(BUILD_DIR)/make/man.mk
-all: $(AUTO_MAN_FILES)
+ALL_INSTALL += $(AUTO_MAN_FILES)
 
 #
 #  We're installing the documentation, but there's no "docdir".