Documentation: Modify rule for html output (better looking output format)

[mirror_qemu.git] / configure

diff --git a/configure b/configure
index 8eb5f5be9dc0ce2db0d913fad49df19e483a5bdc..f55baf09f33b95056f26b4fddd99f047c81823e4 100755 (executable)
--- a/configure
+++ b/configure
@@ -1750,7 +1750,7 @@ fi
 
 # Check if tools are available to build documentation.
 if test "$docs" != "no" ; then
-  if has texi2html && has pod2man; then
+  if has makeinfo && has pod2man; then
     docs=yes
   else
     if test "$docs" = "yes" ; then