Peter Eisentraut bb874e30fb Make INSTALL makefile rule more robust ... With the previous rule, if pandoc was missing, a zero-length output file would be created without an error from make. To improve that, write the rule as two separate commands without a pipe. Reported-by: Tom Lane <tgl@sss.pgh.pa.us>		2019-01-13 10:50:36 +01:00
..
src	Make INSTALL makefile rule more robust	2019-01-13 10:50:36 +01:00
KNOWN_BUGS	…
MISSING_FEATURES	…
Makefile	Remove maintainer-check target, fold into normal build	2013-10-10 20:11:56 -04:00
TODO	Change documentation references to PG website to use https: not http:	2017-05-20 21:50:47 -04:00
bug.template	Stamp HEAD as 12devel	2018-06-30 12:47:59 -04:00