diff options
| author | Peter Eisentraut | 2019-01-13 09:50:36 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2019-01-13 09:50:36 +0000 |
| commit | bb874e30fbf9e85bdb117bad34865a5fae29dbf6 (patch) | |
| tree | ff1d112b8613a2c4310c4c9e8f868409c54298b6 | |
| parent | 7291733ac93fbc7a30255a7543729678d29afc21 (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 <[email protected]>
| -rw-r--r-- | doc/src/sgml/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/src/sgml/Makefile b/doc/src/sgml/Makefile index 93b0b60cdb..8326c7c673 100644 --- a/doc/src/sgml/Makefile +++ b/doc/src/sgml/Makefile @@ -103,7 +103,9 @@ ICONV = iconv PANDOC = pandoc INSTALL: % : %.html - $(PANDOC) $< -t plain | $(ICONV) -f utf8 -t us-ascii//TRANSLIT > $@ + $(PANDOC) -t plain -o [email protected] $< + $(ICONV) -f utf8 -t us-ascii//TRANSLIT [email protected] > $@ + rm [email protected] INSTALL.html: %.html : stylesheet-text.xsl %.xml $(XMLLINT) --noout --valid $*.xml |