diff options
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/configure.ac b/configure.ac index 8fb34f7..d047e5c 100644 --- a/configure.ac +++ b/configure.ac @@ -408,12 +408,12 @@ AC_ARG_ENABLE(mono, esac], [HAVE_MONO=yes]) -AC_ARG_ENABLE(mono-docs, - AS_HELP_STRING([--disable-mono-docs],[Disable documentation for mono bindings]), +AC_ARG_ENABLE(monodoc, + AS_HELP_STRING([--disable-monodoc],[Disable documentation for mono bindings]), [case "${enableval}" in yes) HAVE_MONODOC=yes ;; no) HAVE_MONODOC=no ;; - *) AC_MSG_ERROR(bad value ${enableval} for --enable-mono-docs) ;; + *) AC_MSG_ERROR(bad value ${enableval} for --enable-monodoc) ;; esac], [HAVE_MONODOC=yes]) |