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 /doc/src | |
| 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 'doc/src')
| -rw-r--r-- | doc/src/sgml/Makefile | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/doc/src/sgml/Makefile b/doc/src/sgml/Makefile index 271c700065c..1d42be8951b 100644 --- a/doc/src/sgml/Makefile +++ b/doc/src/sgml/Makefile @@ -27,27 +27,29 @@ all: html man distprep: html distprep-man +ifndef DBTOEPUB +DBTOEPUB = $(missing) dbtoepub +endif + ifndef JADE -JADE = jade +JADE = $(missing) jade endif SGMLINCLUDE = -D . -D $(srcdir) ifndef NSGMLS -NSGMLS = nsgmls +NSGMLS = $(missing) nsgmls endif ifndef OSX -OSX = osx +OSX = $(missing) osx endif ifndef XSLTPROC -XSLTPROC = xsltproc +XSLTPROC = $(missing) xsltproc endif override XSLTPROCFLAGS += --stringparam pg.version '$(VERSION)' -DBTOEPUB ?= dbtoepub - GENERATED_SGML = bookindex.sgml version.sgml \ features-supported.sgml features-unsupported.sgml errcodes-table.sgml |