On 07/27/2014 11:28 AM, Tom Lane wrote:
Personally I find the PDF docs to be an anachronism: surely nobody
is printing them on dead trees any more, and for on-computer usage,
what do they offer that the HTML format doesn't? So I'm unexcited
about making them slightly prettier.
If they are then maybe there's no point in trying to build them in the
One advantage that they have over the HTML docs is that they encapsulate
the docs in a single file. But then, so does the epub format, which,
unlike PDFs, can adapt to display dimensions.
Sent via pgsql-hackers mailing list (email@example.com)
To make changes to your subscription: