build: do not try install doxygen man pages if they were not requested

Fixes: #1075

diff --git a/doxygen.am b/doxygen.am
index 916d7c4079b2017c2f43517467ce8645d4a2d782..53da8d24ead58b1266bed7debd4f5d9f4ccda414 100644 (file)
--- a/doxygen.am
+++ b/doxygen.am
@@ -17,9 +17,11 @@ if ENABLE_DOXYGEN
 clean-local:
        -rm -rf $(DX_CLEANFILES)
 
+if ENABLE_DOXYGEN_MAN
 # integrate doxygen with automake targets
 man3_MANS = @DX_DOCDIR@/man/man3/*
 $(man3_MANS): doxygen-doc
+endif ENABLE_DOXYGEN_MAN
 
 # Docs will be installed. It may be one or more docs supported
 # by doxygen, but does not include 'man'.

diff --git a/m4/ax_prog_doxygen.m4 b/m4/ax_prog_doxygen.m4
index e5bdeb5992dc4d4bca1849fd92b3cb5b00acf96d..338e4646fbc285eec7dc39ffd5e7be1d022c1b22 100644 (file)
--- a/m4/ax_prog_doxygen.m4
+++ b/m4/ax_prog_doxygen.m4
@@ -574,6 +574,7 @@ DX_INSTALL_DOCS = \\
        \$(DX_CLEAN_HTML) \\
        \$(DX_CLEAN_CHM) \\
        \$(DX_CLEAN_CHI) \\
+       \$(DX_CLEAN_MAN) \\
        \$(DX_CLEAN_RTF) \\
        \$(DX_CLEAN_XML) \\
        \$(DX_CLEAN_PS) \\