> From: Assaf Gordon
> Date: Sat, 26 Nov 2016 22:42:53 -0500
> Cc: Texinfo
>
> 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
On 27 November 2016 at 03:42, Assaf Gordon wrote:
>
>> On Nov 26, 2016, at 12:45, Gavin Smith 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
> On Nov 26, 2016, at 12:45, Gavin Smith 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 P
On 25 November 2016 at 15:40, Assaf Gordon wrote:
> IMHO, the distinction between "print" and "online" should be refined, as both
> HTML and PDF can be used for printing and for online viewing. The distinction
> should be between formats/displays/interfaces that support embedded linking,
> and
