diff options
author | Marcus Brinkmann <marcus.brinkmann@ruhr-uni-bochum.de> | 2017-06-19 13:31:10 +0200 |
---|---|---|
committer | Marcus Brinkmann <marcus.brinkmann@ruhr-uni-bochum.de> | 2017-06-19 13:31:10 +0200 |
commit | 859f9a9754708572a6289853d7d95b9ee3eae589 (patch) | |
tree | 97368b336a0543cb20caa98ad6b76237a363d30c | |
parent | 62f3123d3877c8a84961e5f907bf959d4593fa5c (diff) | |
download | libassuan-859f9a9754708572a6289853d7d95b9ee3eae589.tar.gz |
configure: Add flag to disable documentation build.
* configure.ac: Add new option --disable-doc.
(BUILD_DOC): New automake conditional.
* Makefile.am (SUBDIRS): Make doc optional based on BUILD_DOC.
(DISTCHECK_CONFIGURE_FLAGS): New variable.
Signed-Off-By: Marcus Brinkmann <mb@g10code.com>
-rw-r--r-- | Makefile.am | 9 | ||||
-rw-r--r-- | configure.ac | 11 |
2 files changed, 19 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index fdfd791..4ffb113 100644 --- a/Makefile.am +++ b/Makefile.am @@ -19,6 +19,7 @@ ACLOCAL_AMFLAGS = -I m4 +DISTCHECK_CONFIGURE_FLAGS = --enable-doc # (A suitable gitlog-to-changelog script can be found in GnuPG master.) GITLOG_TO_CHANGELOG=gitlog-to-changelog @@ -28,7 +29,13 @@ EXTRA_DIST = autogen.sh autogen.rc README.GIT \ tests/ChangeLog-2011 contrib/ChangeLog-2011 \ build-aux/git-log-footer build-aux/git-log-fix -SUBDIRS = m4 src doc tests +if BUILD_DOC +doc = doc +else +doc = +endif + +SUBDIRS = m4 src $(doc) tests dist-hook: gen-ChangeLog diff --git a/configure.ac b/configure.ac index 963a76b..cd36183 100644 --- a/configure.ac +++ b/configure.ac @@ -454,6 +454,17 @@ else fi fi + +# +# Extra features +# +build_doc=yes +AC_ARG_ENABLE([doc], AC_HELP_STRING([--disable-doc], + [do not build the documentation]), + build_doc=$enableval, build_doc=yes) +AM_CONDITIONAL([BUILD_DOC], [test "x$build_doc" != xno]) + + # # Create the config files. # |