diff options
author | Martin Lucina <mato@kotelna.sk> | 2010-02-19 18:23:54 +0100 |
---|---|---|
committer | Martin Lucina <mato@kotelna.sk> | 2010-02-19 18:23:54 +0100 |
commit | 57148b1fdeec0080b77ecfa837add9557226261c (patch) | |
tree | f0b662a6282fb6752e76100ded3bd09af5e183de | |
parent | 8b86dcf81cc7b80267f334f4f26dfd319532ad25 (diff) |
Add missing check for install_man=yes
Fixes git builds w/o asciidoc, bug introduced in 46824abe
-rw-r--r-- | configure.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.in b/configure.in index 30283ef..f182281 100644 --- a/configure.in +++ b/configure.in @@ -101,7 +101,7 @@ fi AC_MSG_CHECKING([whether to build documentation]) AC_MSG_RESULT([$build_doc]) AC_MSG_CHECKING([whether to install manpages]) -if test ! -f "./doc/zmq.7"; then +if test "x$install_man" = "xyes" -a ! -f "./doc/zmq.7"; then AC_MSG_ERROR([configure thinks we want to install manpages but they're not present. Help!]) fi AC_MSG_RESULT([$install_man]) |