diff options
-rw-r--r-- | doc/texi2html_init.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/texi2html_init.in b/doc/texi2html_init.in index cb2d99a5ae..b2b9978a95 100644 --- a/doc/texi2html_init.in +++ b/doc/texi2html_init.in @@ -1,4 +1,4 @@ -my $button_text = '<a href="../index.html">Library</a>'; +my $button_text = '<a href="../index.html">[Library]</a>'; push @SECTION_BUTTONS, \$button_text; push @CHAPTER_BUTTONS, \$button_text; push @MISC_BUTTONS, \$button_text; |