Re: Any interest in using HTML for locally-installed Texinfo documentation?

[Gavin Smith]

On Tue, Apr 02, 2019 at 06:09:40PM -0500, sirgazil wrote:
> El 2/04/19 a las 5:10 p. m., Per Bothner escribió:
> >On 4/2/19 1:12 PM, Ricardo Wurmus wrote:
> >>As far as I know GNOME’s Yelp is a frontend to different kinds of
> >>documentation and it does support Info files.
> >
> >That reads *info* files.  We're talking about reading *html* files.
> >See Gavin's original message for why we want to use html.
> 
> Isn't it more about "increase the ease of
> accessing documentation, including documentation locally installed on
> a user's own computer.  When a user is using a bitmapped display (e.g.
> with X11), this could become the default way that they access
> documentation."?

Variation of fonts and text reflowing, as I said in my original message.