From mboxrd@z Thu Jan 1 00:00:00 1970 From: Gavin Smith Subject: Re: Any interest in using HTML for locally-installed Texinfo documentation? Date: Wed, 3 Apr 2019 09:43:15 +0100 Message-ID: <20190403084315.GB18536@darkstar.lan> References: <87a7h8u4r4.fsf@gnu.org> <87ef6kyxnj.fsf@elephly.net> <19a49416-7f84-3d3f-7612-b2e5e51fafae@bothner.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Return-path: Content-Disposition: inline In-Reply-To: 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: sirgazil Cc: Ricardo Wurmus , guix-devel@gnu.org, Texinfo List-Id: guix-devel.gnu.org 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.