From mboxrd@z Thu Jan 1 00:00:00 1970 From: Ricardo Wurmus Subject: Re: Any interest in using HTML for locally-installed Texinfo documentation? Date: Wed, 16 Oct 2019 03:39:30 +0200 Message-ID: <87h849lb8t.fsf@elephly.net> References: <87a7h8u4r4.fsf@gnu.org> <20190402150245.GA30067@darkstar> <256d60e8-0148-1dd3-4c9d-86e14b42060b@bothner.com> <20190407162804.GA28500@darkstar.example.net> <87k1g4v8dq.fsf@gnu.org> <20190413162121.GA28137@darkstar.example.net> Mime-Version: 1.0 Content-Type: text/plain Return-path: 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: Gavin Smith Cc: guix-devel@gnu.org, Ludovic =?utf-8?Q?Court=C3=A8s?= , Texinfo List-Id: guix-devel.gnu.org Hi Gavin, you may not even need to write all of this from scratch. GNOME has Yelp which uses WebKitGTK and which already supports info documents. Perhaps this could be enhanced instead? -- Ricardo