[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: |
Thu, 6 Aug 2020 20:27:18 +0100 |
User-agent: |
Mutt/1.9.4 (2018-02-28) |
On Thu, Aug 06, 2020 at 12:16:13PM -0700, Per Bothner wrote:
> On 8/6/20 11:33 AM, Gavin Smith wrote:
> > I've done this. texi2any should accept a '-c INFO_JS_DIR=.' option
> > whether it is installed or uninstalled. If run uninstalled as
> > texi2any.pl it will copy info.js etc. from the source tree; otherwise it
> > will copy the files from their installed locations. Use
> > '-c INFO_JS_DIR=foo' to place the files in the foo subdirectory of the
> > output directory. The name of the INFO_JS_DIR variable could change.
>
> Great - thanks!
>
> Uninstalled doesn't work for me:
>
> $ make web/index.html MAKEINFO=/home/bothner/GNU/texinfo/tp/makeinfo
> /home/bothner/GNU/texinfo/tp/makeinfo -I=doc --html --split=section
> --no-number-sections -c INFO_JS_DIR=style --css-ref="style/domterm-1col.css"
> doc/DomTerm.texi -o web/
You'd have to set MAKEINFO to texi2any.pl instead of 'makeinfo', or export
the TEXINFO_DEV_SOURCE envvar to 1. Also you would have to run
configure as well so the Texinfo::ModulePath module exists.
- Re: what is the status of the JavaScript reader?, (continued)
- 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
- Re: what is the status of the JavaScript reader?,
Gavin Smith <=