diff options
| author | Peter Eisentraut | 2014-09-14 00:14:17 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2014-09-14 00:22:21 +0000 |
| commit | c2a01439c04404ad8b271f788188c807a3de67d1 (patch) | |
| tree | 1e5451f13021182c75fbe078593ca563b438edf3 /configure.in | |
| parent | 839acf9461deb0affb0dd710723cffeb72ffd82f (diff) | |
Run missing documentation tools through "missing"
Instead of just erroring out when a tool is missing, wrap the call with
the "missing" script that we are already using for bison, flex, and
perl, so that the users get a useful error message.
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure.in b/configure.in index c22d3ddb1af..13922775390 100644 --- a/configure.in +++ b/configure.in @@ -1858,6 +1858,7 @@ PGAC_PROG_JADE PGAC_CHECK_DOCBOOK(4.2) PGAC_PATH_DOCBOOK_STYLESHEETS PGAC_PATH_COLLATEINDEX +AC_CHECK_PROGS(DBTOEPUB, dbtoepub) AC_CHECK_PROGS(XSLTPROC, xsltproc) AC_CHECK_PROGS(OSX, [osx sgml2xml sx]) |