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.
Branch
------
master
Details
-------
http://git.postgresql.org/pg/commitdiff/c2a01439c04404ad8b271f788188c807a3de67d1
Modified Files
--------------
configure | 43 +++++++++++++++++++++++++++++++++++++++++++
configure.in | 1 +
doc/src/sgml/Makefile | 14 ++++++++------
src/Makefile.global.in | 1 +
4 files changed, 53 insertions(+), 6 deletions(-)
