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

[sirgazil]

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."?

I find Yelp easy to use as a desktop user. I think it would be great to 
easily access info manuals or info manuals translated to docbook or 
mallard from the Yelp viewer. It would make GNU documentation easier to 
discover on the desktop.

I think Matthieu's JavaScript interface would still be useful for the 
HTML documentation online.


--
Luis Felipe López Acevedo
http://sirgazil.bitbucket.io/