diff options
| author | nox <nox@FreeBSD.org> | 2008-06-04 02:39:51 +0800 |
|---|---|---|
| committer | nox <nox@FreeBSD.org> | 2008-06-04 02:39:51 +0800 |
| commit | f5835aee392297107404d047202d19f511849ff1 (patch) | |
| tree | b67d646225499c84ffc53a4f83e6097cfaa1d462 /emulators/qemu | |
| parent | 32311b9191f30fad822203ebd411673a4ff9b1b3 (diff) | |
| download | freebsd-ports-gnome-f5835aee392297107404d047202d19f511849ff1.tar.gz freebsd-ports-gnome-f5835aee392297107404d047202d19f511849ff1.tar.zst freebsd-ports-gnome-f5835aee392297107404d047202d19f511849ff1.zip | |
Fix NOPORTDOCS when texi2html is not installed
Found by: itetcu
Diffstat (limited to 'emulators/qemu')
| -rw-r--r-- | emulators/qemu/files/patch-configure | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/emulators/qemu/files/patch-configure b/emulators/qemu/files/patch-configure new file mode 100644 index 000000000000..782062a27890 --- /dev/null +++ b/emulators/qemu/files/patch-configure @@ -0,0 +1,10 @@ +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 |