diff options
Diffstat (limited to 'doc/src')
| -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 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 |