pgsql: Run missing documentation tools through "missing"

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(-)

--
Sent via pgsql-committers mailing list (pgsql-committers@postgresql.org)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-committers