branch master updated: * doc/texinfo.texi (File Names and Links Customization for HTML): Refer to the user of the program as "you".

[Patrice Dumas]

This is an automated email from the git hooks/post-receive script.

pertusus pushed a commit to branch master
in repository texinfo.

The following commit(s) were added to refs/heads/master by this push:
     new 576b8d1211 * doc/texinfo.texi (File Names and Links Customization for 
HTML): Refer to the user of the program as "you".
576b8d1211 is described below

commit 576b8d12115d424ed8dd3c9c9151db838594883d
Author: Patrice Dumas <pertusus@free.fr>
AuthorDate: Tue Apr 2 19:37:19 2024 +0200

    * doc/texinfo.texi (File Names and Links Customization for HTML):
    Refer to the user of the program as "you".
---
 ChangeLog        |  5 +++++
 doc/texinfo.texi | 20 ++++++++++----------
 2 files changed, 15 insertions(+), 10 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index b958331b25..2281dea8e6 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2024-04-02  Patrice Dumas  <pertusus@free.fr>
+
+       * doc/texinfo.texi (File Names and Links Customization for HTML):
+       Refer to the user of the program as "you".
+
 2024-04-02  Patrice Dumas  <pertusus@free.fr>
 
        * doc/texinfo.texi (HTML Output Structure Customization)
diff --git a/doc/texinfo.texi b/doc/texinfo.texi
index 6ac3ff1b17..6d6356be1e 100644
--- a/doc/texinfo.texi
+++ b/doc/texinfo.texi
@@ -18190,7 +18190,7 @@ not defined or set to any other value.  The 
@code{HTMLXREF_FILE} customization
 variable sets the file used for HTML Xref configuration to another value than
 the default, @file{htmlxref.cnf}.  By default, the distant manual
 is considered to be split or monolithic based on the splitting of the manual
-being output.  It is possible to set it explicitely, instead, with
+being output.  You can set it explicitely, instead, by setting
 @code{EXTERNAL_CROSSREF_SPLIT}.
 
 @cindex Cross-references customization, in HTML
@@ -18205,15 +18205,15 @@ Xref Configuration only.
 @vindex EXTERNAL_DIR
 @vindex EXTERNAL_CROSSREF_EXTENSION
 @vindex BASEFILENAME_LENGTH
-The file name used for the Top node in cross-references is set to
-the @code{TOP_NODE_FILE_TARGET} customization variable value; default is
-@file{index.html}.  A base directory for external manuals is specified
-with @code{EXTERNAL_DIR}, in the default case there is none.  Similarly,
-the file extension for cross-references to other manuals is set with
-@code{EXTERNAL_CROSSREF_EXTENSION}, which, if unset, is based
-on @code{EXTENSION}.  By default, the base file names are truncated
-to 245 characters (@pxref{HTML Xref Link Basics}).  The maximum length of a
-base file name is changed by setting @code{BASEFILENAME_LENGTH}.
+You can set the file name used for the Top node in cross-references by
+setting the @code{TOP_NODE_FILE_TARGET} customization variable value;
+default is @file{index.html}.  You specify a base directory for external
+manuals with @code{EXTERNAL_DIR}, in the default case there is none.
+Similarly, you set the file extension for cross-references to other manuals
+with @code{EXTERNAL_CROSSREF_EXTENSION}, which, if unset, is based on
+@code{EXTENSION}.  By default, the base file names are truncated to 245
+characters (@pxref{HTML Xref Link Basics}).  Change the maximum length of
+a base file name by setting @code{BASEFILENAME_LENGTH}.
 
 
 @node Customization of Navigation and Headers