set_from_init_file ('AFTER_BODY_OPEN',
'
RTEMS @VERSION@ On-Line Library
');
texinfo_register_handler('setup', \&add_button);
my $button_text = '[Directory]';
sub add_button($)
{
my $self = shift;
foreach my $button_type ('SECTION_BUTTONS', 'CHAPTER_BUTTONS',
'MISC_BUTTONS', 'TOP_BUTTONS') {
my $buttons = $self->get_conf($button_type);
push @$buttons, \$button_text;
}
return 1;
}