git.postgresql.org Git - postgresql.git/commit
2014年9月14日 00:14:17 +0000 (20:14 -0400)
2014年9月14日 00:22:21 +0000 (20:22 -0400)
commit c2a01439c04404ad8b271f788188c807a3de67d1
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.
This is the main PostgreSQL git repository.
RSS
Atom