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: Tue, 2 Apr 2019 18:09:40 -0500 Message-ID: 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; format=flowed Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([209.51.188.92]:34590) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hBSXj-0001UB-52 for guix-devel@gnu.org; Tue, 02 Apr 2019 19:10:12 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hBSXi-0003Hq-79 for guix-devel@gnu.org; Tue, 02 Apr 2019 19:10:11 -0400 Received: from sender-pp-092.zoho.com ([135.84.80.237]:25498 helo=sender-pp-o92.zoho.com) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hBSXh-0003En-UY for guix-devel@gnu.org; Tue, 02 Apr 2019 19:10:10 -0400 In-Reply-To: <19a49416-7f84-3d3f-7612-b2e5e51fafae@bothner.com> Content-Language: en-US List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: Per Bothner , Ricardo Wurmus Cc: guix-devel@gnu.org, Texinfo 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 o= f >> documentation and it does support Info files. >=20 > 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."? I find Yelp easy to use as a desktop user. I think it would be great to=20 easily access info manuals or info manuals translated to docbook or=20 mallard from the Yelp viewer. It would make GNU documentation easier to=20 discover on the desktop. I think Matthieu's JavaScript interface would still be useful for the=20 HTML documentation online. --=20 Luis Felipe L=C3=B3pez Acevedo http://sirgazil.bitbucket.io/