From 70ec5dc0afa5cb4cc0c1fafc844c01973fcde8c3 Mon Sep 17 00:00:00 2001 From: Anthony Liguori Date: Thu, 14 May 2009 08:25:04 -0500 Subject: [PATCH] Add a --disable-docs to configure to allow doc build to be disabled Signed-off-by: Anthony Liguori --- configure | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/configure b/configure index b2a2540..d3788fc 100755 --- a/configure +++ b/configure @@ -177,7 +177,7 @@ softmmu="yes" linux_user="no" darwin_user="no" bsd_user="no" -build_docs="no" +build_docs="yes" uname_release="" curses="yes" pthread="yes" @@ -492,6 +492,8 @@ for opt do ;; --with-pkgversion=*) pkgversion=" ($optarg)" ;; + --disable-docs) build_docs="no" + ;; *) echo "ERROR: unknown option $opt"; show_help="yes" ;; esac @@ -1236,9 +1238,8 @@ EOF fi # Check if tools are available to build documentation. -if [ -x "`which texi2html 2>/dev/null`" ] && \ - [ -x "`which pod2man 2>/dev/null`" ]; then - build_docs="yes" +if test "$build_docs" = "yes" -a \( ! -x "`which texi2html 2>/dev/null`" -o ! -x "`which pod2man 2>/dev/null`" \) ; then + build_docs="no" fi ########################################## -- 1.7.9.5