From mboxrd@z Thu Jan  1 00:00:00 1970
From: Per Bothner <per@bothner.com>
Subject: Re: Any interest in using HTML for locally-installed Texinfo
	documentation?
Date: Tue, 2 Apr 2019 15:10:21 -0700
Message-ID: <19a49416-7f84-3d3f-7612-b2e5e51fafae@bothner.com>
References: <CAKPWYQ3WWUTG=RcA1RrZ=yb4Shwh5ehzpQAO-32r_WEk7M58eQ@mail.gmail.com>
	<87a7h8u4r4.fsf@gnu.org> <87ef6kyxnj.fsf@elephly.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Return-path: <bug-texinfo-bounces+gnu-bug-texinfo2=m.gmane.org@gnu.org>
In-Reply-To: <87ef6kyxnj.fsf@elephly.net>
Content-Language: en-US
List-Unsubscribe: <https://lists.gnu.org/mailman/options/bug-texinfo>,
	<mailto:bug-texinfo-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/bug-texinfo/>
List-Post: <mailto:bug-texinfo@gnu.org>
List-Help: <mailto:bug-texinfo-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/bug-texinfo>,
	<mailto:bug-texinfo-request@gnu.org?subject=subscribe>
Errors-To: bug-texinfo-bounces+gnu-bug-texinfo2=m.gmane.org@gnu.org
Sender: "bug-texinfo"
	<bug-texinfo-bounces+gnu-bug-texinfo2=m.gmane.org@gnu.org>
To: Ricardo Wurmus <rekado@elephly.net>
Cc: guix-devel@gnu.org, Texinfo <bug-texinfo@gnu.org>
List-Id: guix-devel.gnu.org

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.
-- 
	--Per Bothner
per@bothner.com   http://per.bothner.com/