Andrew Dunstan <andrew@dunslane.net> writes:
> 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.
Hm. I recall Peter was experimenting with building epub format. Maybe we
could start moving over to that, if there's a mature toolchain. I keep
fearing we are going to run up against document-size limits in the
jadetex toolchain (and unlike the last time, it may not be so easy to
modify the limits --- there are hard-wired limits inside TeX).
regards, tom lane