summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authordavemds <dave@gurumeditation.it>2014-02-08 21:32:02 +0100
committerdavemds <dave@gurumeditation.it>2014-02-08 21:32:02 +0100
commit3a6aed8017dbb2dc60df71b45e5e62c26a929ebb (patch)
tree4d5d8f257eba3c51bde19a23d2a7b95f7470d32e
parentd7c68722e26069ece8caf6659fb8f24d15df7084 (diff)
Show docs info/instructions in config summary
-rw-r--r--configure.ac5
1 files changed, 5 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac
index e7e61808e..72e1c47e4 100644
--- a/configure.ac
+++ b/configure.ac
@@ -767,6 +767,11 @@ echo "Tests......................: no"
767else 767else
768echo "Tests......................: make check" 768echo "Tests......................: make check"
769fi 769fi
770if test "${build_doc}" = "no"; then
771echo "Docs.......................: no (doxygen not found)"
772else
773echo "Docs.......................: make doc"
774fi
770echo 775echo
771echo "Installation...............: make install (as root if needed, with 'su' or 'sudo')" 776echo "Installation...............: make install (as root if needed, with 'su' or 'sudo')"
772echo " prefix...................: $prefix" 777echo " prefix...................: $prefix"