Revision 70ec5dc0
b/configure | ||
---|---|---|
177 | 177 |
linux_user="no" |
178 | 178 |
darwin_user="no" |
179 | 179 |
bsd_user="no" |
180 |
build_docs="no"
|
|
180 |
build_docs="yes"
|
|
181 | 181 |
uname_release="" |
182 | 182 |
curses="yes" |
183 | 183 |
pthread="yes" |
... | ... | |
492 | 492 |
;; |
493 | 493 |
--with-pkgversion=*) pkgversion=" ($optarg)" |
494 | 494 |
;; |
495 |
--disable-docs) build_docs="no" |
|
496 |
;; |
|
495 | 497 |
*) echo "ERROR: unknown option $opt"; show_help="yes" |
496 | 498 |
;; |
497 | 499 |
esac |
... | ... | |
1236 | 1238 |
fi |
1237 | 1239 |
|
1238 | 1240 |
# Check if tools are available to build documentation. |
1239 |
if [ -x "`which texi2html 2>/dev/null`" ] && \ |
|
1240 |
[ -x "`which pod2man 2>/dev/null`" ]; then |
|
1241 |
build_docs="yes" |
|
1241 |
if test "$build_docs" = "yes" -a \( ! -x "`which texi2html 2>/dev/null`" -o ! -x "`which pod2man 2>/dev/null`" \) ; then |
|
1242 |
build_docs="no" |
|
1242 | 1243 |
fi |
1243 | 1244 |
|
1244 | 1245 |
########################################## |
Also available in: Unified diff