[Top][All Lists]

[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]