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: Per Bothner
Subject: Re: what is the status of the JavaScript reader?
Date: Tue, 4 Aug 2020 19:11:10 -0700
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.10.0

One possible approach to adding info.js support to makeinfo is using
--set-customization-variable.  It has the advantage that people can request
this feature without breaking it using older versions of makeinfo.

--set-customization-variable js-info-dir=DIRECTORY

This adds to each output file:

<link rel="stylesheet" type="text/css" href="DIRECTORY/info.css"/>
<script src="DIRECTORY/modernizr.js" type="text/javascript"></script>
<script src="DIRECTORY/info.js" type="text/javascript"></script>

and copies the 3 files to DIRECTORY (under the output directory).
--
        --Per Bothner
per@bothner.com   http://per.bothner.com/




reply via email to

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