Make INSTALL makefile rule more robust

Peter Eisentraut <peter@eisentraut.org>

Commit: bb874e30fbf9e85bdb117bad34865a5fae29dbf6
Author: Peter Eisentraut <peter@eisentraut.org>
Date: 2019-01-13T09:50:36Z
Releases: 12.0
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>

Files

PathChange+/−
doc/src/sgml/Makefile modified +3 −1