mirror of
https://github.com/postgres/postgres.git
synced 2026-06-02 22:08:41 -04:00
Peter Eisentraut
bb874e30fb
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>