[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: what is the status of the JavaScript reader?
From: |
Per Bothner |
Subject: |
Re: what is the status of the JavaScript reader? |
Date: |
Thu, 6 Aug 2020 12:16:13 -0700 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.10.0 |
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/
Can't locate Texinfo/ModulePath.pm in @INC (you may need to install the
Texinfo::ModulePath module) (@INC contains:
/home/bothner/GNU/texinfo/+installed+/share/texinfo /usr/local/lib64/perl5/5.30
/usr/local/share/perl5/5.30 /usr/lib64/perl5/vendor_perl
/usr/share/perl5/vendor_perl /usr/lib64/perl5 /usr/share/perl5) at
/home/bothner/GNU/texinfo/tp/makeinfo line 82.
BEGIN failed--compilation aborted at /home/bothner/GNU/texinfo/tp/makeinfo line
85.
make: *** [Makefile:1222: web/index.html] Error 2
However after:
./configure --prefix=/home/bothner/GNU/texinfo/+installed+
make install
then installed works:
$ make web/index.html
MAKEINFO=/home/bothner/GNU/texinfo/+installed+/bin/makeinfo
/home/bothner/GNU/texinfo/+installed+/bin/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/
cd . && cp doc/domterm1.svg doc/images/domterm-1.png doc/images/domterm-2.png
doc/images/domterm-panes-1.png doc/images/domterm-sh-svg.png
doc/images/domterm-polygon-1.png doc/images/dt-atom1.png doc/images/dt-help1.png
doc/images/dt-gnuplot1.png doc/images/dt-fish1.png doc/images/dt-pretty1.png
doc/images/dt-sixel.png doc/images/emacs-in-firefox-1.png doc/images/dropdown-gnome.png
doc/images/pyplot.png doc/images/python-error.png doc/images/python-repl.png
doc/images/python-pandas.png doc/images/python-pretty1.png
/home/bothner/DomTerm/web/images
(cd . && tar cf - tools/bash-preexec.sh tools/shell-integration.bash
tools/shell-integration.fish tools/shell-integration.zsh tools/python/domterm/utils.py)|(cd web
&& tar xf -)
and browsing file:///home/bothner/DomTerm/web/index.html works as expected.
I've updated (and checked in) the necessary changes to DomTerm's Makefile.am.
I haven't yet fixed any of the styling or other glitches I mentioned earlier.
--
--Per Bothner
per@bothner.com http://per.bothner.com/
- Re: what is the status of the JavaScript reader?, (continued)
- Re: what is the status of the JavaScript reader?, Gavin Smith, 2020/08/03
- 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 <=
- Re: what is the status of the JavaScript reader?, Gavin Smith, 2020/08/06