[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: sirgazil
Subject: Re: Any interest in using HTML for locally-installed Texinfo documentation?
Date: Wed, 3 Apr 2019 09:23:25 -0500
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.6.1

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

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]