diff options
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/configure.in b/configure.in index c51fd57b15..3c07c4e402 100644 --- a/configure.in +++ b/configure.in @@ -1223,6 +1223,16 @@ fi XLDFLAGS="$XLDFLAGS -L." AC_SUBST(ARCHFILE) +dnl build rdoc index if requested +RDOCTARGET="" +AC_ARG_ENABLE(install-doc, + [ --enable-install-doc build and install rdoc indexes during install ], + [install_doc=$enableval], [install_doc=no]) +if test "$install_doc" != no; then + RDOCTARGET="install-doc" +fi +AC_SUBST(RDOCTARGET) + case "$target_os" in netbsd*) CFLAGS="$CFLAGS -pipe" |