From 8486c8cc9a0af420826ba174ab0c4391e0b2d42d Mon Sep 17 00:00:00 2001
From: Michael Niedermayer <michaelni@gmx.at>
Date: Mon, 16 Jul 2012 14:45:41 +0200
Subject: [PATCH] configure: print if the docs building tools have been found
Signed-off-by: Michael Niedermayer <michaelni@gmx.at>
---
configure | 3 +++
1 file changed, 3 insertions(+)
diff --git a/configure b/configure
index d832593ac97..084c161d173 100755
--- 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
--
GitLab