diff options
Diffstat (limited to 'doc/texi2html_init.in')
-rw-r--r-- | doc/texi2html_init.in | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/doc/texi2html_init.in b/doc/texi2html_init.in new file mode 100644 index 0000000000..01b5453ba8 --- /dev/null +++ b/doc/texi2html_init.in @@ -0,0 +1,19 @@ +my $button_text = '<a href="../index.html">Library</a>'; +push @SECTION_BUTTONS, \$button_text; +push @CHAPTER_BUTTONS, \$button_text; +push @MISC_BUTTONS, \$button_text; +push @TOP_BUTTONS, \$button_text; + +$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 @VERSION@ On-Line Library</H1> +'; + +$PRE_BODY_CLOSE = +'Copyright © 1988-2011 +<A HREF="http://www.oarcorp.com" target="Text Frame">OAR Corporation</A> +'; + +1; |