path: root/doc
diff options
authorSergey Poznyakoff <gray@gnu.org>2015-08-14 08:07:26 +0300
committerSergey Poznyakoff <gray@gnu.org>2015-08-14 08:07:26 +0300
commit4683f7830491d1d50c5097466d9a066cb41286c7 (patch)
tree3a028bb7a326f61dbaaa5b9408ff061c53fcb0cf /doc
parentb0d2697f689348976da7aefd506b3d8b6fdee420 (diff)
Fix doc generation.
The default Config file applies to all output formats, which is wrong. Use a dedicated configuration file for html output formats, and defaults for the rest. * doc/Config: Rename to doc/html.init (with changes).
Diffstat (limited to 'doc')
-rw-r--r--doc/html.init (renamed from doc/Config)11
1 files changed, 6 insertions, 5 deletions
diff --git a/doc/Config b/doc/html.init
index 62ee61a..1eb2d89 100644
--- a/doc/Config
+++ b/doc/html.init
@@ -78,12 +78,10 @@ set_from_init_file('PROGRAM_NAME_IN_FOOTER',1);
set_from_init_file('DEFAULT_RULE', '');
set_from_init_file('BIG_RULE', '');
-# Turn off footer buttons in section split
-set_from_init_file('SECTION_FOOTER_BUTTONS', undef);
-#set_from_init_file('SECTION_BUTTONS', undef);
-# Turn off navigation bars at the bottom of each section in chapter split mode
+# Turn off navigation bars at the bottom of each section in chapter split mode,
+# or subsection in section split mode.
set_from_init_file('HEADERS', undef)
- if (get_conf('SPLIT') and (get_conf('SPLIT') eq 'chapter'));
+ if ((get_conf('SPLIT') eq 'chapter') or (get_conf('SPLIT') eq 'section'));
# Use navigation icons
set_from_init_file('ICONS', 1);
@@ -152,8 +150,11 @@ 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);
+set_from_init_file('SECTION_FOOTER_BUTTONS', \@gray_buttons);

Return to:

Send suggestions and report system problems to the System administrator.