mirror of
https://github.com/zeromq/libzmq.git
synced 2024-12-14 02:57:47 +01:00
Merge pull request #2173 from bluca/without_docs
Problem: build API incompatible with 4.1
This commit is contained in:
commit
2e9264354c
@ -95,8 +95,13 @@ AC_DEFUN([LIBZMQ_CHECK_DOC_BUILD], [{
|
|||||||
AS_HELP_STRING([--without-docs],
|
AS_HELP_STRING([--without-docs],
|
||||||
[Don't build and install man pages [default=build]]),
|
[Don't build and install man pages [default=build]]),
|
||||||
[with_docs=$withval])
|
[with_docs=$withval])
|
||||||
|
AC_ARG_WITH([documentation], [AS_HELP_STRING([--without-documentation],
|
||||||
|
[Don't build and install man pages [default=build] DEPRECATED: use --without-docs])])
|
||||||
|
|
||||||
if test "x$with_docs" = "xno"; then
|
if test "x$with_documentation" = "xno"; then
|
||||||
|
AC_MSG_WARN([--without-documentation is DEPRECATED and will be removed in the next release, use --without-docs])
|
||||||
|
fi
|
||||||
|
if test "x$with_docs" = "xno" || test "x$with_documentation" = "xno"; then
|
||||||
libzmq_build_doc="no"
|
libzmq_build_doc="no"
|
||||||
libzmq_install_man="no"
|
libzmq_install_man="no"
|
||||||
else
|
else
|
||||||
|
Loading…
Reference in New Issue
Block a user