[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: what is the status of the JavaScript reader?
From: |
Gavin Smith |
Subject: |
Re: what is the status of the JavaScript reader? |
Date: |
Mon, 3 Aug 2020 14:16:55 +0100 |
User-agent: |
Mutt/1.9.4 (2018-02-28) |
On Sun, Aug 02, 2020 at 03:01:37PM -0700, Per Bothner wrote:
> It would be great if it could be bundled with the regular texinfo release,
> and have 'makeinfo --html-js' "just work", even if it's marked "experimental".
>
> (Perhaps also add --html-no-js or --html-plain flag as a synonym for --html,
> in case we ever want to make --html default to --html-js in the future.)
The last that was done with it was to distribute it on alpha.gnu.org
(https://alpha.gnu.org/gnu/texinfo/texinfo-js-0.0.90.tar.gz) and
advertise it on this mailing list. I don't know of anybody using it for
a real purpose.
I suppose bundling it into the regular Texinfo release would give it
more visibility. It's likely that somebody would like to use it. It is
less than a MB when compressed and wouldn't increase the package size
too much.
In a separate development, I started a WebKitGTK based browser for
Texinfo HTML documentation, but lost interest in it. (Embeddable HTML
renderers all seem quite awkward to use.) I've posted about this before
on this list.
- what is the status of the JavaScript reader?, Per Bothner, 2020/08/02
- Re: what is the status of the JavaScript reader?,
Gavin Smith <=
- Re: what is the status of the JavaScript reader?, Per Bothner, 2020/08/03
- Re: what is the status of the JavaScript reader?, Gavin Smith, 2020/08/04
- Re: what is the status of the JavaScript reader?, Per Bothner, 2020/08/04
- Re: what is the status of the JavaScript reader?, Gavin Smith, 2020/08/04
- Re: what is the status of the JavaScript reader?, Per Bothner, 2020/08/04
- Re: what is the status of the JavaScript reader?, Per Bothner, 2020/08/04
- Re: what is the status of the JavaScript reader?, Gavin Smith, 2020/08/05
- Re: what is the status of the JavaScript reader?, Per Bothner, 2020/08/05
- Re: what is the status of the JavaScript reader?, Gavin Smith, 2020/08/06
- Re: what is the status of the JavaScript reader?, Per Bothner, 2020/08/06