3 files changed, 11 insertions, 9 deletions

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 97adffb..7a70925 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -29,3 +29,3 @@ CHECK_DOCS=$(top_srcdir)/@IMPRIMATUR_MODULE_DIR@/check-docs.sh
 
-GENDOCS=$(srcdir)/gendocs.sh
+GENDOCS=$(srcdir)/gendocs.sh --no-copy-images --html '--init-file=$(abs_srcdir)/html.init'
 EXTRA_DIST += gendocs.sh
@@ -41,3 +41,3 @@ manual:
          TEXI2DVI="$(TEXI2DVI) -t @finalout" \
-         $(GENDOCS) --no-copy-images $(PACKAGE) '$(PACKAGE_NAME) manual'
+         $(GENDOCS) $(PACKAGE) '$(PACKAGE_NAME) manual'
 
diff --git a/doc/Config b/doc/html.init
index e2c33ce..eb349e3 100644
--- a/doc/Config
+++ b/doc/html.init
@@ -94,8 +94,6 @@ 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
@@ -168,4 +166,7 @@ my @gray_buttons = (\&gray_document_title, ' ',
 
+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);
 set_from_init_file('MISC_BUTTONS',
diff --git a/doc/wydawca.texi b/doc/wydawca.texi
index 6a9a8c9..59289fb 100644
--- a/doc/wydawca.texi
+++ b/doc/wydawca.texi
@@ -33,3 +33,3 @@ Boston, MA 02110-1301, USA
 
-Copyright @copyright{} 2007, 2009-2013 Sergey Poznyakoff
+Copyright @copyright{} 2007, 2009-2015 Sergey Poznyakoff
 
@@ -2787,5 +2787,6 @@ administrator (@dfn{owner}).
 the upload. Not to be confused with @samp{user:email}.
+@anchor{check-result}
 @kwindex check:result
 @item check:result    @tab Code returned by external checker, in
-decimal. @xref{verification,,check:result}, for a detailed description.
+decimal. @xref{verification,,check-result}, for a detailed description.
 @kwindex check:diagn