> Once this is in the Git repository, I'll update DomTerm to make use of it
> (when configured --without-docbook).   Then we can incrementally improve 
> things.

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.

Reply via email to