[help-texinfo] init-file and HTML customization variables

[Jason Massey]

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)?

My aim is to be able to change variables such as AFTER_BODY_OPEN inside of my own init-file. For example:

--init-file=my.init

---------------------------------------------

$AFTER_BODY_OPEN = "<p>Stuff at the beginning</p>";

---------------------------------------------

However, this doesn't appear to work; it does work from the command-line (as per the manual: http://www.gnu.org/software/texinfo/manual/texinfo/html_node/Customization-Variables.html).

Can someone point me to more documentation as to how the --init-file=file facility works?

Respectfully,

Jason