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
buildfarm constantly.
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.
cheers
andrew