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

[Ricardo Wurmus]

Per Bothner <address@hidden> writes:

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

FWIW Yelp also reads HTML files (and many more formats), though I
haven’t yet tried this successfully with our Guix manual.

Yelp unfortunately doesn’t utilize the Info manual’s index, which is a
great loss in my opinion.  The info files are rendered with hard line
breaks; the info format seems to make it hard to support variable width
paragraphs, syntax highlighting in code snippets / examples, etc,
because it doesn’t seem to retain markup.

Yelp has a few bugs when rendering Info files; links to other Info
documents don’t seem to work (e.g. references to the Guile manual in the
Guix manual), for example, and images are not shown either.

--
Ricardo