diff options
| author | Michael Stapelberg <michael@stapelberg.de> | 2019-02-11 21:43:35 +0100 |
|---|---|---|
| committer | Michael Stapelberg <michael@stapelberg.de> | 2019-02-11 21:43:35 +0100 |
| commit | fd484c6c5800577a7b27b7110d641cd12ba6464a (patch) | |
| tree | 47e51eeaa35498626eb50bf1fe474c6b6b6d5880 /configure.ac | |
| parent | 4c047e3aa49fa2452784c617de10881b58c9e393 (diff) | |
configure.ac: complain when xmlto cannot be found
related to #338
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index 9322366..9657e3f 100644 --- a/configure.ac +++ b/configure.ac @@ -102,7 +102,9 @@ AC_PROG_RANLIB AC_PROG_LN_S AC_PATH_PROG([PATH_ASCIIDOC], [asciidoc]) -AC_PATH_PROG([PATH_XMLTO], [xmlto]) +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])]) AM_PROG_AR |