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

[sirgazil <sirgazil@zoho.com>]

El 3/04/19 a las 3:43 a. m., Gavin Smith escribió:
> 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.

Sorry, I don't understand. Documents in Yelp seem to adapt to some 
extent to the screen width (text reflows, for example). Videos an images 
don't adapt well to the screen width in the version I'm using, and info 
documents seem to have a fixed width.

As for fonts, Yelp seems to use the same fonts for the kind of documents 
it supports. Isn't it desirable to present all documents uniformly?

However, Yelp seems to use WebKit (I'm not sure), and GNOME and GTK 
components are being modified to adapt to different screen sizes to 
support mobile devices. So problems of adaptability of the content to 
the size of the screen will likely disappear...


-- 
Luis Felipe López Acevedo
http://sirgazil.bitbucket.io/