diff options
| author | Michael Stapelberg <michael@stapelberg.de> | 2019-02-11 21:45:20 +0100 |
|---|---|---|
| committer | Michael Stapelberg <michael@stapelberg.de> | 2019-02-11 21:45:20 +0100 |
| commit | 9d28a661a72cd118448e92c30a35b98100aa57bf (patch) | |
| tree | ac85c5d2458a51f52f91c26aaff4c722b8219b25 | |
| parent | fd484c6c5800577a7b27b7110d641cd12ba6464a (diff) | |
configure.ac: complain when asciidoc cannot be found
related to #338
| -rw-r--r-- | configure.ac | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index 9657e3f..c96a5bd 100644 --- a/configure.ac +++ b/configure.ac @@ -101,7 +101,9 @@ AC_PROG_MAKE_SET AC_PROG_RANLIB AC_PROG_LN_S -AC_PATH_PROG([PATH_ASCIIDOC], [asciidoc]) +AC_PATH_PROG([PATH_ASCIIDOC], [asciidoc], [no]) +AS_IF([test x"$PATH_ASCIIDOC" = x"no"], + [AC_MSG_ERROR([asciidoc is required for generating man pages])]) AC_PATH_PROG([PATH_XMLTO], [xmlto], [no]) AS_IF([test x"$PATH_XMLTO" = x"no"], [AC_MSG_ERROR([xmlto is required for generating man pages])]) |