pgsql: Run missing documentation tools through "missing" - Mailing list pgsql-committers

From Peter Eisentraut
Subject pgsql: Run missing documentation tools through "missing"
Date
Msg-id E1XSxb8-0008Tl-9P@gemulon.postgresql.org
Whole thread Raw
List pgsql-committers
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(-)


pgsql-committers by date:

Previous
From: Peter Eisentraut
Date:
Subject: pgsql: pg_ctl: Add tests for behavior with nonexistent data directory
Next
From: Tom Lane
Date:
Subject: pgsql: Invent PGC_SU_BACKEND and mark log_connections/log_disconnection