configure: print if the docs building tools have been found

Signed-off-by: Michael Niedermayer <michaelni@gmx.at>

diff --git a/configure b/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