From mboxrd@z Thu Jan 1 00:00:00 1970 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= Subject: Re: Any interest in using HTML for locally-installed Texinfo documentation? Date: Sun, 03 Nov 2019 15:04:27 +0100 Message-ID: <87imo16opg.fsf@gnu.org> 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> <87eez8tr33.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: In-Reply-To: (Gavin Smith's message of "Tue, 22 Oct 2019 20:00:44 +0100") 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, Texinfo List-Id: guix-devel.gnu.org Hi Gavin, Gavin Smith skribis: > On Sat, Oct 19, 2019 at 9:31 PM Ludovic Court=C3=A8s wrote: >> > I started another line of development, using the WebKitGTK engine. >> > http://git.savannah.gnu.org/cgit/texinfo.git/log/?h=3Dwebkitgtk-info >> >> [...] >> >> > I may be able to get an initial prototype that other people could try >> > ready in a few days. As ever, if anyone is interested in helping >> > with/taking over this project, please let me know. >> >> Thanks for the update, it looks promising. Let us know when you=E2=80= =99d like >> people to give it a try! > > The work is available on the webkitgit-info branch of the texinfo git > repository. I think it is developed to a point where it shows that a > browser for locally installed HTML documentation is clearly possible > with WebKitGTK. There are some notes in the README file on how to > build manuals for use with the browser. [...] > https://www.gnu.org/software/texinfo/video/demo.webm. This looks very nice already! It seems to me that the core features one would want are there: use of local copies of the manual, index search, browsing commands, etc. Does the reader fall back to an on-line copy of manuals that are unavailable locally? That would be nice, though it should probably first ask for user consent. I=E2=80=99d love to see an appropriate CSS applied by default to all the lo= cally installed manual. Perhaps the WebKitGTK code could =E2=80=9Cforce=E2=80=9D= a CSS to each HTML page? In the future, it=E2=80=99d be great to have syntax highlighting like we ha= ve at , but=E2=80=A6 I guess that=E2=80=99s another story. :-) What would be the next steps for you? Do you plan to have this new reader released as part of the next Texinfo release, or as a separate package? Thanks, Ludo=E2=80=99.