diff options
| author | Jaak Ristioja <jaak.ristioja@cyber.ee> | 2013-01-29 11:27:23 +0200 |
|---|---|---|
| committer | Nikos Mavrogiannopoulos <nmav@gnutls.org> | 2013-02-10 11:32:22 +0100 |
| commit | 82a1682a4977553aa2c35992cb35343ce31c3eda (patch) | |
| tree | 9f4e8ea6a1edf2e75407fe88febf0bfde11a6a63 /configure.ac | |
| parent | 857b78842e7b4d0bc02869e21fa9da967df7bc6c (diff) | |
| download | gnutls-82a1682a4977553aa2c35992cb35343ce31c3eda.tar.gz | |
Add option to disable generation of any documentation for GnuTLS.
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index 23b1d50791..6921f64c9a 100644 --- a/configure.ac +++ b/configure.ac @@ -115,7 +115,10 @@ dnl Try the hooks.m4 LIBGNUTLS_HOOKS LIBGNUTLS_EXTRA_HOOKS - +AC_ARG_ENABLE(doc, + AS_HELP_STRING([--disable-doc], [don't generate any documentation]), + enable_doc=$enableval, enable_doc=yes) +AM_CONDITIONAL(ENABLE_DOC, test "$enable_doc" != "no") GTK_DOC_CHECK(1.1) AM_GNU_GETTEXT([external]) |