On Tue, Apr 02, 2019 at 06:09:40PM -0500, sirgazil wrote: > 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."?
Variation of fonts and text reflowing, as I said in my original message.
