git.postgresql.org Git - users/andresfreund/postgres.git/commit

projects / users / andresfreund / postgres.git / commit

author	Peter Eisentraut <peter_e@gmx.net>
	Sun, 14 Sep 2014 00:14:17 +0000 (20:14 -0400)
committer	Peter Eisentraut <peter_e@gmx.net>
	Sun, 14 Sep 2014 00:22:21 +0000 (20:22 -0400)
commit	c2a01439c04404ad8b271f788188c807a3de67d1
tree	1e5451f13021182c75fbe078593ca563b438edf3	tree
parent	839acf9461deb0affb0dd710723cffeb72ffd82f	commit \| diff

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.

configure		diff \| blob \| blame \| history
configure.in		diff \| blob \| blame \| history
doc/src/sgml/Makefile		diff \| blob \| blame \| history
src/Makefile.global.in		diff \| blob \| blame \| history

Andres' PG stuff

RSS Atom