[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Stand-alone release of Texinfo JS Interface?
|
From: |
Gavin Smith |
|
Subject: |
Re: Stand-alone release of Texinfo JS Interface? |
|
Date: |
Wed, 24 Oct 2018 10:50:39 +0100 |
|
User-agent: |
Mutt/1.5.23 (2014-03-12) |
On Tue, Oct 23, 2018 at 04:15:10PM -0700, Per Bothner wrote:
> >I've added a script ("texinfo-js") to add the interface for any
> >Texinfo manual
>
> I didn't see any such script in the svn source. There is a texinfo-js
> (short) manual.
I'd called the script something else but it is called texinfo-js now
(generated from texinfo-js.in when make is run).