diff options
Diffstat (limited to 'configure.in')
-rw-r--r-- | configure.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/configure.in b/configure.in index 9dad0368..93253a43 100644 --- a/configure.in +++ b/configure.in @@ -139,6 +139,11 @@ fi GTK_DOC_CHECK([1.0]) +AC_ARG_ENABLE([documentation], + AS_HELP_STRING([--enable-documentation], [enable documentation generated via XSLT]), + [], [enable_documentation=yes]) +AM_CONDITIONAL(ENABLE_DOCUMENTATION, test x$enable_documentation = xyes) + AC_MSG_CHECKING([which gtk+ version to compile against]) AC_ARG_WITH([gtk], [AS_HELP_STRING([--with-gtk=2.0|3.0],[which gtk+ version to compile against (default: 3.0)])], |