blob: a22531fd51b4211ded35765fa171094ddbdd1f28 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
Index: qemu/configure
@@ -1348,7 +1348,7 @@
fi
# Check if tools are available to build documentation.
-if test "$build_docs" = "yes" -a \( ! -x "`which texi2html 2>/dev/null`" -o ! -x "`which pod2man 2>/dev/null`" \) ; then
+if test "$build_docs" = "yes" -a \( "x$NOPORTDOCS" != "x" -o ! -x "`which texi2html 2>/dev/null`" -o ! -x "`which pod2man 2>/dev/null`" \) ; then
build_docs="no"
fi
|
