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

[Ricardo Wurmus]

Hi Gavin,

you may not even need to write all of this from scratch.  GNOME has Yelp
which uses WebKitGTK and which already supports info documents.  Perhaps
this could be enhanced instead?

-- 
Ricardo