From 7aa00d2464b4e14d553e8a64adacfe9741939e14 Mon Sep 17 00:00:00 2001 From: Peter Eisentraut Date: Thu, 21 Feb 2019 15:39:37 +0100 Subject: [PATCH] Fix dbtoepub output file name In previous releases, the input file of dbtoepub was postgres.xml, and dbtoepub knows to derive the output file name postgres.epub from that automatically. But now the intput file is postgres.sgml (since postgres.sgml is itself an XML file and we no longer need the intermediate postgres.xml file), but dbtoepub doesn't know how to deal with the .sgml suffix, so the automatically derived output file name becomes postgres.sgml.epub. Fix by adding an explicit -o option. --- doc/src/sgml/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/src/sgml/Makefile b/doc/src/sgml/Makefile index 8326c7c6736..2420c556815 100644 --- a/doc/src/sgml/Makefile +++ b/doc/src/sgml/Makefile @@ -171,7 +171,7 @@ postgres.pdf: epub: postgres.epub postgres.epub: postgres.sgml $(ALLSGML) $(XMLLINT) --noout --valid $< - $(DBTOEPUB) $< + $(DBTOEPUB) -o $@ $< ## -- 2.39.5