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

[Jason Massey]

> 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

Pat, that worked! Thanks a lot.