> On Nov 26, 2016, at 12:45, Gavin Smith <[email protected]> wrote: > [...] > I've got another idea: what about adding an option to miss out all the > page numbers in cross-references in the TeX output in case someone > wants to produce a PDF they only want to read online? That could allow > you to get a link in a PDF file like you want.
Great idea. > [...] in my opinion, as PDF is not a very important > output format (I would guess that Texinfo manuals aren't printed on > paper very much, and would be mostly read as HTML or Info files). A bit tongue-in-cheek, but if you as the texinfo maintainer say that "pdf isn't important output format", and this discussion started from saying "info is a bad format" - aren't we coming full-circle to the realization that HTML should be the top (perhaps only?) priority, make it high-quality HTML5 output that works great without CSS, with high-quality online CSS and Print-Media-CSS ([1],[2]), and stop worrying about any other format? [1] http://www.w3.org/TR/css3-page/ [2] http://www.w3.org/TR/css-gcpm-3/
