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.
