bug-texinfo
[Top][All Lists]
Advanced

[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.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]