diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2016-09-20 18:13:41 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-09-20 18:13:41 +0200 |
| commit | 3fcfd899f829da15b73fde233d249b4a98aee36e (patch) | |
| tree | f86e5610a761a36a1c2698c8d06ea2af1f03402d /configure.ac | |
| parent | beaefdf70648776cf83f80daf146eb774ff4c20c (diff) | |
| parent | 7ef053c6327441bc7306ff6ee12fde2a42301ab4 (diff) | |
Merge pull request #1066 from adevress/disable-doc
Add a new option to disable documentation generation at configure time
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 1ae0e782d..91ed9947a 100644 --- a/configure.ac +++ b/configure.ac @@ -265,6 +265,13 @@ AC_ARG_ENABLE(init-state, AC_HELP_STRING([--disable-init-state], #AM_CONDITIONAL(INIT_STATE, test "$init_state" = "yes") +# documentation generation switch +AC_ARG_ENABLE(doc-gen, AC_HELP_STRING([--disable-doc-gen], + [disable documentation generation]), + doc_generate=$enableval, doc_generate=yes) +AC_SUBST(doc_generate) + + # Setuid installations. AC_CHECK_FUNCS([setresuid setreuid lchown]) |