diff options
author | Michael Biebl <mbiebl@gmail.com> | 2008-05-10 18:55:54 +0200 |
---|---|---|
committer | Michael Biebl <mbiebl@gmail.com> | 2008-05-10 18:55:54 +0200 |
commit | 3342684a217aefa3179192dad9cb364b9a319e20 (patch) | |
tree | 5322635013a67d9d9d3b745d258a88cfc45208c4 | |
parent | c6c675a5d85e0a3cf664eeb2e936102623cbf8d2 (diff) |
Make xmlto mandatory.
Make xmlto mandatory for now. We can provide ./configure switch if
requested.
-rw-r--r-- | configure.ac | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 2002010..cec6cc1 100644 --- a/configure.ac +++ b/configure.ac @@ -22,6 +22,9 @@ dnl --------------------------------------------------------------------------- dnl - Manual page build dnl --------------------------------------------------------------------------- AC_PATH_PROG(XMLTO, xmlto, no) +if test "$XMLTO" = "no" ; then + AC_MSG_ERROR([Cannot find xmlto. Aborting...]) +fi dnl --------------------------------------------------------------------------- dnl - Make paths available for source files |