Run missing documentation tools through "missing"
Peter Eisentraut <peter_e@gmx.net>
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.
Files
| Path | Change | +/− |
|---|---|---|
| configure | modified | +43 −0 |
| configure.in | modified | +1 −0 |
| doc/src/sgml/Makefile | modified | +8 −6 |
| src/Makefile.global.in | modified | +1 −0 |