granicus.if.org Git - postgresql/commit

]> granicus.if.org Git - postgresql/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 \| snapshot
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 \| history
configure.in		diff \| blob \| history
doc/src/sgml/Makefile		diff \| blob \| history
src/Makefile.global.in		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom