use strict;
use Texinfo::Convert::HTML;

my $button_text = '<a href="../index.html">Library</a>';

my %defaults = Texinfo::Convert::HTML::converter_defaults({},{});
# or
# my %defaults = Texinfo::Convert::HTML::converter_defaults({},{'TEXI2HTML' => 1});

my @SECTION_BUTTONS = (@{$defaults{'SECTION_BUTTONS'}}, \$button_text);
set_from_init_file('SECTION_BUTTONS', address@hidden);

my @CHAPTER_BUTTONS = (@{$defaults{'CHAPTER_BUTTONS'}}, \$button_text);
set_from_init_file('CHAPTER_BUTTONS', address@hidden);

my @MISC_BUTTONS = (@{$defaults{'MISC_BUTTONS'}}, \$button_text);
set_from_init_file('MISC_BUTTONS', address@hidden);

my @TOP_BUTTONS = (@{$defaults{'TOP_BUTTONS'}}, \$button_text);
set_from_init_file('TOP_BUTTONS', address@hidden);

set_from_init_file('AFTER_BODY_OPEN',
'<A HREF="http://www.rtems.com"  target="Text Frame">
<IMG align=right BORDER=0 SRC="../images/rtems_logo.jpg" ALT="RTEMS
Logo">  </A>
<H1>RTEMS 4.10.99.0 On-Line Library</H1>
');

set_from_init_file('PRE_BODY_CLOSE',
'Copyright &copy; 1988-2011
<A HREF="http://www.oarcorp.com" target="Text Frame">OAR Corporation</A>
');

1;