make all: Also build man pages.

Without this patch, man pages are built during make install. It's more
natural to build them at make time.

diff --git a/Makefile.in b/Makefile.in
index 5d085c7b5770735be86b5dce481f3993572c0e6f..5203da87f1ae8a100b2b8671212eea896d438823 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -68,7 +68,7 @@ tarball_add := $(gengetopts_c) $(gengetopts_h) $(autocrap)
 tarball := @PACKAGE_TARNAME@-@PACKAGE_VERSION@.tar.bz2
 
 .PHONY: clean distclean maintainer-clean install man tarball
-all: $(BINARIES)
+all: $(BINARIES) $(man_pages)
 man: $(man_pages)
 tarball: $(tarball)