On Sun, Nov 03, 2019 at 03:04:27PM +0100, Ludovic Courtès wrote:
> > 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 WebKi
Hi Gavin,
Gavin Smith skribis:
> On Sat, Oct 19, 2019 at 9:31 PM Ludovic Courtès wrote:
>> > I started another line of development, using the WebKitGTK engine.
>> > http://git.savannah.gnu.org/cgit/texinfo.git/log/?h=webkitgtk-info
>>
>> [...]
>>
>> > I may be able to get an initial prototype t
On Fri, Nov 01, 2019 at 02:12:37PM +, Gavin Smith wrote:
> I would like a way of having a menu in each HTML file that lists the
> section names of subordinate nodes. This would replace the menu that
> already exists which is generated from the @menu block in the source.
> I don't believe the
