aboutsummaryrefslogtreecommitdiff
path: root/doc/src
diff options
context:
space:
mode:
authorPeter Eisentraut <peter@eisentraut.org>2019-01-13 10:50:36 +0100
committerPeter Eisentraut <peter@eisentraut.org>2019-01-13 10:50:36 +0100
commitbb874e30fbf9e85bdb117bad34865a5fae29dbf6 (patch)
treeff1d112b8613a2c4310c4c9e8f868409c54298b6 /doc/src
parent7291733ac93fbc7a30255a7543729678d29afc21 (diff)
downloadpostgresql-bb874e30fbf9e85bdb117bad34865a5fae29dbf6.tar.gz
postgresql-bb874e30fbf9e85bdb117bad34865a5fae29dbf6.zip
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>
Diffstat (limited to 'doc/src')
-rw-r--r--doc/src/sgml/Makefile4
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/src/sgml/Makefile b/doc/src/sgml/Makefile
index 93b0b60cdb6..8326c7c6736 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 $@.tmp $<
+ $(ICONV) -f utf8 -t us-ascii//TRANSLIT $@.tmp > $@
+ rm $@.tmp
INSTALL.html: %.html : stylesheet-text.xsl %.xml
$(XMLLINT) --noout --valid $*.xml