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.
--
--Per Bothner
p...@bothner.com http://per.bothner.com/
