diff options
| author | Peter Eisentraut <peter@eisentraut.org> | 2019-02-21 15:39:37 +0100 |
|---|---|---|
| committer | Peter Eisentraut <peter@eisentraut.org> | 2019-02-21 15:39:37 +0100 |
| commit | c08b65bc4371f0154566447a8cb4bc7691bf0815 (patch) | |
| tree | 24a5ab17c37aeb684a397f1b59c5960ab5f1feeb | |
| parent | e22bfe94e4dfc9abedf17026c3081bca9877163d (diff) | |
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.
| -rw-r--r-- | doc/src/sgml/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/src/sgml/Makefile b/doc/src/sgml/Makefile index 74aac01c395..901c5e590ee 100644 --- a/doc/src/sgml/Makefile +++ b/doc/src/sgml/Makefile @@ -177,7 +177,7 @@ postgres.pdf: epub: postgres.epub postgres.epub: postgres.sgml $(ALLSGML) $(XMLLINT) --noout --valid $< - $(DBTOEPUB) $< + $(DBTOEPUB) -o $@ $< ## |