]> granicus.if.org Git - postgresql/commit
projects / postgresql / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7291733) | patch
Make INSTALL makefile rule more robust
authorPeter Eisentraut <peter@eisentraut.org>
Sun, 13 Jan 2019 09:50:36 +0000 (10:50 +0100)
committerPeter Eisentraut <peter@eisentraut.org>
Sun, 13 Jan 2019 09:50:36 +0000 (10:50 +0100)
commitbb874e30fbf9e85bdb117bad34865a5fae29dbf6
treeff1d112b8613a2c4310c4c9e8f868409c54298b6tree | snapshot
parent7291733ac93fbc7a30255a7543729678d29afc21commit | diff
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>
doc/src/sgml/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.