1 files changed, 20 insertions, 0 deletions
diff --git a/doc/texi2any_init.in b/doc/texi2any_init.in
new file mode 100644
index 0000000000..d70517ea8b
--- /dev/null
+++ b/doc/texi2any_init.in
@@ -0,0 +1,20 @@
+set_from_init_file ('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>
+');
+
+texinfo_register_handler('setup', \&add_button);
+
+my $button_text = '<a href="../dir.html">Directory</a>';
+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;
+}