]> granicus.if.org Git - postgresql/commit
Fix dbtoepub output file name
authorPeter Eisentraut <peter@eisentraut.org>
Thu, 21 Feb 2019 14:39:37 +0000 (15:39 +0100)
committerPeter Eisentraut <peter@eisentraut.org>
Thu, 21 Feb 2019 14:39:37 +0000 (15:39 +0100)
commitc08b65bc4371f0154566447a8cb4bc7691bf0815
tree24a5ab17c37aeb684a397f1b59c5960ab5f1feeb
parente22bfe94e4dfc9abedf17026c3081bca9877163d
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