diff options
| author | Guillem Jover <guillem@debian.org> | 2015-10-30 02:35:00 +0100 |
|---|---|---|
| committer | Guillem Jover <guillem@debian.org> | 2015-12-12 21:57:29 +0100 |
| commit | f3af91bcb364140590ed3736f562dfe849bb6b72 (patch) | |
| tree | e57263b91612e517c59f1f07a7c99ddb66bf73a3 /m4 | |
| parent | c5e8c926397056044711ee9649d74c5dda2f21dc (diff) | |
| download | dpkg-f3af91bcb364140590ed3736f562dfe849bb6b72.tar.gz | |
build: Add an configure option to choose the kind of documentation
The option --disable-devel-docs can be used to override the current
default, which is to build development documentation.
Diffstat (limited to 'm4')
| -rw-r--r-- | m4/dpkg-build.m4 | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/m4/dpkg-build.m4 b/m4/dpkg-build.m4 index 56dbef0cf..294d3b957 100644 --- a/m4/dpkg-build.m4 +++ b/m4/dpkg-build.m4 @@ -29,6 +29,23 @@ AC_DEFUN([DPKG_BUILD_PROG], [ AC_MSG_RESULT([$build_]AS_TR_SH([$1])) ])# DPKG_BUILD_PROG +# DPKG_BUILD_DEVEL_DOCS() +# --------------------- +# Select what type of documentation to build. Either for development including +# all symbol references, and extracting everything, or production documentation. +AC_DEFUN([DPKG_BUILD_DEVEL_DOCS], [ + AC_ARG_ENABLE([devel-docs], + AS_HELP_STRING([--disable-devel-docs], [build release docs]), + [build_devel_docs=$enable_devel_docs], + [build_devel_docs=yes] + ) + AS_IF([test "x$build_devel_docs" = "xyes"], [ + AC_DEFINE([BUILD_DEVEL_DOCS], [YES], [Define to YES if building devel docs.]) + ], [ + AC_DEFINE([BUILD_DEVEL_DOCS], [NO]) + ]) +])# DPKG_BUILD_DOCS_MODE + # DPKG_WITH_DIR(DIR, DEFAULT, DESCRIPTION) # ------------- # Allow specifying alternate directories. |