aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorJuan Quintela <quintela@redhat.com>2009-08-12 18:29:51 +0200
committerAnthony Liguori <aliguori@us.ibm.com>2009-08-27 19:33:13 -0500
commit83a3ab8bb2e1ce02a4576bd2305c945173f1358b (patch)
treef103781f61a1dcd926856b611c4c7a4606203544 /configure
parenta20a6f469b0c2d0bafa81243e598d8e299848baa (diff)
Add build_docs to new feature convention
Signed-off-by: Juan Quintela <quintela@redhat.com> Signed-off-by: Anthony Liguori <aliguori@us.ibm.com>
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure16
1 files changed, 13 insertions, 3 deletions
diff --git a/configure b/configure
index 044cbd7a53..3cf1cb86da 100755
--- a/configure
+++ b/configure
@@ -181,6 +181,7 @@ bluez=""
brlapi=""
curl=""
curses=""
+build_docs=""
nptl=""
vde=""
vnc_tls=""
@@ -208,7 +209,6 @@ linux_user="no"
darwin_user="no"
bsd_user="no"
guest_base=""
-build_docs="yes"
uname_release=""
io_thread="no"
mixemu="no"
@@ -524,6 +524,8 @@ for opt do
;;
--disable-docs) build_docs="no"
;;
+ --enable-docs) build_docs="yes"
+ ;;
*) echo "ERROR: unknown option $opt"; show_help="yes"
;;
esac
@@ -1408,8 +1410,16 @@ if compile_prog "" "" ; then
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
- build_docs="no"
+if test "$build_docs" != "no" ; then
+ if test -x "`which texi2html 2>/dev/null`" -a \
+ -x "`which pod2man 2>/dev/null`" ; then
+ build_docs=yes
+ else
+ if test "$build_docs" = "yes" ; then
+ feature_not_found "build_docs"
+ fi
+ build_docs=no
+ fi
fi
# Search for bsawp_32 function