bug-texinfo
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: CSS file for texinfo HTML output


From: Gavin Smith
Subject: Re: CSS file for texinfo HTML output
Date: Tue, 9 Feb 2016 18:35:11 +0000

On 9 February 2016 at 02:31, Per Bothner <address@hidden> wrote:
>>> and then add the following in the <head>:
>>>
>>> <script type="text/javascript" src="info.js"></script>
>>
>>
>> How do people add this in the <head>? By typing it in with a text
>> editor? With a browser plugin that adds the line automatically?
>
>
> Of course not.
>
>> That's the kind of specific point that needs to be taken care of.
>
>
> The obvious simply approach is to add --javascript-include and/or
> --javascript-ref command-line options to makeinfo, by analogy
> with --css-include and --css-ref.

I hadn't thought of that possibility. These options seem like a good
idea to me, and should be easy to implement.



reply via email to

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