configure: print if the docs building tools have been found
authorMichael Niedermayer <michaelni@gmx.at>
Mon, 16 Jul 2012 12:45:41 +0000 (14:45 +0200)
committerMichael Niedermayer <michaelni@gmx.at>
Mon, 16 Jul 2012 12:45:41 +0000 (14:45 +0200)
Signed-off-by: Michael Niedermayer <michaelni@gmx.at>
configure

index d832593..084c161 100755 (executable)
--- a/configure
+++ b/configure
@@ -3726,6 +3726,9 @@ echo "openal enabled            ${openal-no}"
 echo "openssl enabled           ${openssl-no}"
 echo "zlib enabled              ${zlib-no}"
 echo "bzlib enabled             ${bzlib-no}"
+echo "texi2html enabled         ${texi2html-no}"
+echo "pod2man enabled           ${pod2man-no}"
+echo "makeinfo enabled          ${makeinfo-no}"
 test -n "$random_seed" &&
     echo "random seed               ${random_seed}"
 echo