[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [help-texinfo] init-file and HTML customization variables
From: |
Patrice Dumas |
Subject: |
Re: [help-texinfo] init-file and HTML customization variables |
Date: |
Sun, 10 Mar 2013 20:37:48 +0100 |
User-agent: |
Mutt/1.5.20 (2009-12-10) |
On Sat, Mar 09, 2013 at 02:54:52PM -0500, Jason Massey wrote:
> Is it possible to use the --init-file=file command-line option to point to
> a script which changes HTML Customization Variables (
> http://www.gnu.org/software/texinfo/manual/texinfo/html_node/HTML-Customization-Variables.html
> )?
> ---------------------------------------------
> $AFTER_BODY_OPEN = "<p>Stuff at the beginning</p>";
> ---------------------------------------------
>
> Can someone point me to more documentation as to how the
> --init-file=file facility
> works?
That documentation still do not exists since the interface is not
finalized yet. What works for now (but may stop working in next
releases) is
set_from_init_file('AFTER_BODY_OPEN', "<p>Stuff at the beginning</p>");
--
Pat