Added --disable-man configure option

You want that if you don't have txt2man or just are not interrested
in manuals.
This commit is contained in:
Nirgal Vourgère
2013-07-04 13:22:52 +02:00
parent 36a28cdfdb
commit ca395d8537
2 changed files with 20 additions and 3 deletions

View File

@@ -203,6 +203,21 @@ fi
AM_CONDITIONAL(ENABLE_GTK_DOC, test x$enable_gtk_doc = xyes)
##################################################
# Check for txt2man
##################################################
AC_ARG_ENABLE(man, [ --disable-man Disable man generation], enable_man="$enableval", [enable_man=yes])
if test "$enable_man" = yes; then
if ! which txt2man > /dev/null; then
AC_MSG_ERROR([Could not find txt2man script. Install it or configure with --disable-man if you are not interrested in manuals.])
fi
fi
AM_CONDITIONAL(ENABLE_MAN, test "$enable_man" = yes)
##################################################
# Check for docbook
##################################################
AM_CONDITIONAL(ENABLE_DOCBOOK, test -n "$DOCBOOK_DSL")
dnl Checks for library functions.