my $button_text = '[Library]'; push @SECTION_BUTTONS, \$button_text; push @CHAPTER_BUTTONS, \$button_text; push @MISC_BUTTONS, \$button_text; push @TOP_BUTTONS, \$button_text; $AFTER_BODY_OPEN = ' RTEMS
Logo

RTEMS @VERSION@ On-Line Library

'; $PRE_BODY_CLOSE = 'Copyright © 1988-2013 OAR Corporation '; 1;