diff options
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index c411c27..1932485 100644 --- a/configure.ac +++ b/configure.ac @@ -20,7 +20,18 @@ fi AC_PROG_CC AM_PROG_VALAC([0.17.0]) AC_PROG_RANLIB -AC_PATH_PROG([XSLTPROC], [xsltproc]) +AC_ARG_ENABLE(man, + [AS_HELP_STRING([--enable-man], + [generate man pages [default=yes]])],, + enable_man=yes) + +AS_IF([test "$enable_man" != no], [ + AC_PATH_PROG([XSLTPROC], [xsltproc]) + AS_IF([test -z "$XSLTPROC"], [ + AC_MSG_ERROR([xsltproc is required for --enable-man]) + ]) +]) +AM_CONDITIONAL(ENABLE_MAN, test "$enable_man" != no) # Use GSettings GLIB_GSETTINGS |