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;