generic-library/libzmq
1
0
Fork 0
mirror of https://github.com/zeromq/libzmq.git synced 2024-12-12 10:33:52 +01:00
Code Issues Projects Releases Wiki Activity

Problem: configure --without-documentation is clumsy

Browse Source 
It's inconsistent, and should be --with-something=yes/no. Also the
term 'documentation' is long and clumy.

Solution: use --with-docs instead.
This commit is contained in:
Pieter Hintjens 2016-01-18 21:25:22 +01:00
parent 1a502cc190
commit 88949694db
1 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
acinclude.m4
View File

@ -88,11 +88,15 @@ dnl # LIBZMQ_CHECK_DOC_BUILD
dnl # Check whether to build documentation and install man-pages # dnl # Check whether to build documentation and install man-pages #
dnl ############################################################################## dnl ##############################################################################
AC_DEFUN([LIBZMQ_CHECK_DOC_BUILD], [{ AC_DEFUN([LIBZMQ_CHECK_DOC_BUILD], [{
# Allow user to disable doc build
AC_ARG_WITH([documentation], [AS_HELP_STRING([--without-documentation],
[disable documentation build even if asciidoc and xmlto are present [default=no]])])
if test "x$with_documentation" = "xno"; then # Man pages are built/installed if asciidoc and xmlto are present
# --with-docs=no overrides this
AC_ARG_WITH([docs],
AS_HELP_STRING([--with-docs],
[Build and install man pages [default=yes]]),
[with_docs=$withval])
if test "x$with_docs" = "xno"; then
libzmq_build_doc="no" libzmq_build_doc="no"
libzmq_install_man="no" libzmq_install_man="no"
else else