patch-configure « files « qemu-devel « emulators - freebsd-ports-gnome - FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)

index : freebsd-ports-gnome

FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)

about summary refs log tree commit diff stats

path: root/emulators/qemu-devel/files/patch-configure

blob: 782062a2789000cae8aa631af3f96e5d14c28c23 (plain) (blame)

Index: qemu/configure
@@ -689,7 +689,7 @@
 fi # test "$curses"
 
 # Check if tools are available to build documentation.
-if [ -x "`which texi2html 2>/dev/null`" ] && \
+if [ "x$NOPORTDOCS" != "x" -o -x "`which texi2html 2>/dev/null`" ] && \
    [ -x "`which pod2man 2>/dev/null`" ]; then
   build_docs="yes"
 fi