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 <[email protected]>

Branch
------
master

Details
-------
https://git.postgresql.org/pg/commitdiff/bb874e30fbf9e85bdb117bad34865a5fae29dbf6

Modified Files
--------------
doc/src/sgml/Makefile | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)

Reply via email to