set_from_init_file ('AFTER_BODY_OPEN', ' RTEMS
Logo

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; }