Merge pull request #1430 from junovitch/fix-man-install-without-doc-build

Enable install of man pages when BUILD_DOC is not set by shifting INS…

doc/Makefile.am

@@ -32,13 +32,13 @@ MAINTAINERCLEANFILES = $(MAN_DOC) $(MAN_HTML)
 
 EXTRA_DIST = asciidoc.conf $(MAN_TXT)
 
-if BUILD_DOC
-EXTRA_DIST += $(MAN_HTML)
-
 if INSTALL_MAN
 dist_man_MANS = $(MAN_DOC)
 endif
 
+if BUILD_DOC
+EXTRA_DIST += $(MAN_HTML)
+
 SUFFIXES=.html .txt .xml .3 .7
 
 .txt.html: