Show docs info/instructions in config summary

This commit is contained in:
Davide Andreoli 2014-02-08 21:32:02 +01:00
parent 1329c89dc3
commit 296ead7e2d
1 changed files with 5 additions and 0 deletions

View File

@ -767,6 +767,11 @@ echo "Tests......................: no"
else
echo "Tests......................: make check"
fi
if test "${build_doc}" = "no"; then
echo "Docs.......................: no (doxygen not found)"
else
echo "Docs.......................: make doc"
fi
echo
echo "Installation...............: make install (as root if needed, with 'su' or 'sudo')"
echo " prefix...................: $prefix"