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