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
