diff options
Diffstat (limited to 'doc/texi2html_init.in')
-rw-r--r-- | doc/texi2html_init.in | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/doc/texi2html_init.in b/doc/texi2html_init.in deleted file mode 100644 index 9e0cd46621..0000000000 --- a/doc/texi2html_init.in +++ /dev/null @@ -1,19 +0,0 @@ -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.org" 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-2014 -<A HREF="http://www.oarcorp.com" target="Text Frame">OAR Corporation</A> -'; - -1; |