Per Bothner <p...@bothner.com> 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