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 ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-committers
