|
| From: | Per Bothner |
| Subject: | Re: what is the status of the JavaScript reader? |
| Date: | Wed, 5 Aug 2020 09:43:52 -0700 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.10.0 |
On 8/5/20 4:41 AM, Gavin Smith wrote:
On Tue, Aug 04, 2020 at 07:11:10PM -0700, Per Bothner wrote:f
--set-customization-variable js-info-dir=DIRECTORY
Good idea. I think this is the way forward. Then we can work on the various issues that you found.
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.
--
--Per Bothner
per@bothner.com http://per.bothner.com/
| [Prev in Thread] | Current Thread | [Next in Thread] |