texinfo-commits
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[no subject]

From: Gavin D. Smith
Date: Fri, 8 Nov 2024 16:04:31 -0500 (EST) 
branch: master
commit 31221d75f76d0257bd108f194380a0961fd4b7c7
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Fri Nov 8 20:51:16 2024 +0000

    * doc/texinfo.texi (Customization of Navigation and Headers): edit
---
 ChangeLog        |  4 ++++
 doc/texinfo.texi | 11 ++++++-----
 2 files changed, 10 insertions(+), 5 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index c4bc3d7d16..30426adf77 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2024-11-08  Gavin Smith <gavinsmith0123@gmail.com>
+
+       * doc/texinfo.texi (Customization of Navigation and Headers): edit
+
 2024-11-08  Gavin Smith <gavinsmith0123@gmail.com>
 
        * doc/texinfo.texi (HTML Features Customization): edit
diff --git a/doc/texinfo.texi b/doc/texinfo.texi
index 855896b875..a06bb28b50 100644
--- a/doc/texinfo.texi
+++ b/doc/texinfo.texi
@@ -18336,9 +18336,10 @@ a base file name by setting @code{BASEFILENAME_LENGTH}.
 @subsection Customization of Navigation and Headers
 
 @vindex HEADERS @subentry @r{for HTML}
-Headers and footers with a navigation panel are output in the default case.  If
-you use @option{--no-headers}, or if the customization variable @code{HEADERS}
-is unset, the navigation bar is only inserted at the beginning of split files.
+Headers and footers with a navigation panel are output in the default
+case.  If you use @option{--no-headers}, or if the customization variable
+@code{HEADERS} is unset, the navigation panel is only inserted at the
+beginning of split files.
 
 @vindex USE_LINKS
 By default, @code{<link>} elements are generated in the
@@ -18359,7 +18360,7 @@ By default, if an input encoding is set (typically 
through
 encoding name, otherwise the output encoding is based on the default encoding.
 A @samp{<meta>} tag is output, in the @samp{<head>} section of the HTML, to
 specify the output encoding.  @xref{@code{@@documentencoding}}.  To set
-explicitely the output encoding, set @code{OUTPUT_ENCODING_NAME}.  The
+the output encoding explicitly, set @code{OUTPUT_ENCODING_NAME}.  The
 specified encoding should be a normalized charset name usable in HTML,
 typically one of the preferred IANA encoding names.
 
@@ -18370,7 +18371,7 @@ minimum page length at which a navigation panel is 
placed at the bottom of a
 page.
 
 The appearance of the navigation panel is affected by the following
-customization variables, false in the default case:
+customization variables, all false in the default case:
 
 @vtable @code
 @item DATE_IN_HEADER
reply via email to
[Prev in Thread] Current Thread [Next in Thread]