blob: d112dd4ac438cfddfc910c5b95c960b233d487c0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
Introduce a configure option to disable building of qemu documentation.
Gentoo Bug #192427
Index: xen-3.2.1/tools/ioemu/configure
===================================================================
--- xen-3.2.1.orig/tools/ioemu/configure
+++ xen-3.2.1/tools/ioemu/configure
@@ -214,6 +214,8 @@ for opt do
;;
--disable-sdl) sdl="no"
;;
+ --enable-docs) build_docs="yes"
+ ;;
--enable-coreaudio) coreaudio="yes"
;;
--enable-alsa) alsa="yes"
@@ -295,6 +297,7 @@ echo " --enable-coreaudio enable
echo " --enable-alsa enable ALSA audio driver"
echo " --enable-fmod enable FMOD audio driver"
echo " --enabled-dsound enable DirectSound audio driver"
+echo " --enable-docs enable building of docs (requires texi2html and pod2man)"
echo " --disable-vnc-tls disable TLS encryption for VNC server"
echo " --enable-system enable all system emulation targets"
echo " --disable-system disable all system emulation targets"
@@ -576,8 +579,9 @@ EOF
fi
# Check if tools are available to build documentation.
-if [ -x "`which texi2html`" ] && [ -x "`which pod2man`" ]; then
- build_docs="yes"
+if [ ! -x "`which texi2html`" ] || [ ! -x "`which pod2man`" ]; then
+ echo "Missing texi2html or pod2man, will not build docs"
+ build_docs="no"
fi
if test "$mingw32" = "yes" ; then
|