diff options
author | Sergey Poznyakoff <gray@gnu.org.ua> | 2015-04-24 14:13:22 +0300 |
---|---|---|
committer | Sergey Poznyakoff <gray@gnu.org.ua> | 2015-04-24 14:13:22 +0300 |
commit | 29b28703f093005be15ed29661ff08a84e0f664a (patch) | |
tree | 616d2a1ca0be9317482a5c83fd5cb9b1799536eb | |
parent | 932c35656c13029812ed93f491296251fdde7553 (diff) | |
download | joh-29b28703f093005be15ed29661ff08a84e0f664a.tar.gz joh-29b28703f093005be15ed29661ff08a84e0f664a.tar.bz2 |
-rw-r--r-- | doc/html.init | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/html.init b/doc/html.init index 9111f0c..27cc69b 100644 --- a/doc/html.init +++ b/doc/html.init @@ -150,6 +150,7 @@ my @gray_buttons = (\&gray_document_title, ' ', 'FastBack', ' ', 'Up', ' ', 'FastForward', ' ', 'Contents', 'Index' ); +set_from_init_file('TOP_BUTTONS', undef); set_from_init_file('SECTION_BUTTONS', \@gray_buttons); set_from_init_file('CHAPTER_BUTTONS', \@gray_buttons); set_from_init_file('NODE_FOOTER_BUTTONS', \@gray_buttons); |