summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorAnthony Liguori <aliguori@us.ibm.com>2009-05-14 08:25:04 -0500
committerAnthony Liguori <aliguori@us.ibm.com>2009-05-14 08:29:52 -0500
commit70ec5dc0afa5cb4cc0c1fafc844c01973fcde8c3 (patch)
tree55b96086b6f4fd01c399c6428a64c1af34e447cd /configure
parent1b3b9ca30ef8c5bb17ca3d77ff098286e11c3e24 (diff)
Add a --disable-docs to configure to allow doc build to be disabled
Signed-off-by: Anthony Liguori <aliguori@us.ibm.com>
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure9
1 files changed, 5 insertions, 4 deletions
diff --git a/configure b/configure
index b2a2540241..d3788fcc15 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
##########################################