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

2013-03-13 Thread 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', pStuff at the

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

2013-03-10 Thread Patrice Dumas
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 )?

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

2013-03-09 Thread 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