From mboxrd@z Thu Jan 1 00:00:00 1970 From: sirgazil Subject: Re: Any interest in using HTML for locally-installed Texinfo documentation? Date: Wed, 3 Apr 2019 09:23:25 -0500 Message-ID: <0b9e768f-fe2d-e29f-6aac-e1f7d66f3d9e@zoho.com> References: <87a7h8u4r4.fsf@gnu.org> <87ef6kyxnj.fsf@elephly.net> <19a49416-7f84-3d3f-7612-b2e5e51fafae@bothner.com> <20190403084315.GB18536@darkstar.lan> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: quoted-printable Return-path: In-Reply-To: <20190403084315.GB18536@darkstar.lan> Content-Language: en-US List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-texinfo-bounces+gnu-bug-texinfo2=m.gmane.org@gnu.org Sender: "bug-texinfo" To: Gavin Smith , Per Bothner , Ricardo Wurmus , guix-devel@gnu.org, Texinfo List-Id: guix-devel.gnu.org El 3/04/19 a las 3:43 a. m., Gavin Smith escribi=C3=B3: > 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=C3=B3: >>> On 4/2/19 1:12 PM, Ricardo Wurmus wrote: >>>> As far as I know GNOME=E2=80=99s Yelp is a frontend to different kinds= of >>>> documentation and it does support Info files. >>> >>> That reads *info* files.=C2=A0 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."? >=20 > 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=20 extent to the screen width (text reflows, for example). Videos an images=20 don't adapt well to the screen width in the version I'm using, and info=20 documents seem to have a fixed width. As for fonts, Yelp seems to use the same fonts for the kind of documents=20 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=20 components are being modified to adapt to different screen sizes to=20 support mobile devices. So problems of adaptability of the content to=20 the size of the screen will likely disappear... --=20 Luis Felipe L=C3=B3pez Acevedo http://sirgazil.bitbucket.io/