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.