diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2014-09-13 20:14:17 -0400 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2014-09-13 20:22:21 -0400 |
| commit | c2a01439c04404ad8b271f788188c807a3de67d1 (patch) | |
| tree | 1e5451f13021182c75fbe078593ca563b438edf3 /src | |
| parent | 839acf9461deb0affb0dd710723cffeb72ffd82f (diff) | |
| download | postgresql-c2a01439c04404ad8b271f788188c807a3de67d1.tar.gz postgresql-c2a01439c04404ad8b271f788188c807a3de67d1.zip | |
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 'src')
| -rw-r--r-- | src/Makefile.global.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Makefile.global.in b/src/Makefile.global.in index 76ea044753a..39a6175adb1 100644 --- a/src/Makefile.global.in +++ b/src/Makefile.global.in @@ -348,6 +348,7 @@ STRIP_SHARED_LIB = @STRIP_SHARED_LIB@ have_docbook = @have_docbook@ COLLATEINDEX = @COLLATEINDEX@ +DBTOEPUB = @DBTOEPUB@ DOCBOOKSTYLE = @DOCBOOKSTYLE@ JADE = @JADE@ NSGMLS = @NSGMLS@ |