Re: Links in print and online

[Assaf Gordon]

> On Nov 26, 2016, at 12:45, Gavin Smith <address@hidden> 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/