[no subject]

[Gavin D. Smith]

branch: master
commit 73b1b1a34e8c06cd47fe850ad0263c0f92961046
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Mon Aug 7 13:16:05 2023 +0100

    * doc/texinfo.texi (Other Customization Variables)
    <CLOSE_QUOTE_SYMBOL>: Give @samp as an example use case, as
    at OPEN_QUOTE_SYMBOL.
---
 ChangeLog        | 6 ++++++
 doc/texinfo.texi | 5 +++--
 2 files changed, 9 insertions(+), 2 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 295032dee7..27a08f7868 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2023-08-07  Gavin Smith <gavinsmith0123@gmail.com>
+
+       * doc/texinfo.texi (Other Customization Variables)
+       <CLOSE_QUOTE_SYMBOL>: Give @samp as an example use case, as
+       at OPEN_QUOTE_SYMBOL.
+
 2023-08-07  Gavin Smith <gavinsmith0123@gmail.com>
 
        * doc/texinfo.texi: Add line "@microtype on".
diff --git a/doc/texinfo.texi b/doc/texinfo.texi
index 3e99ea05d3..462838291c 100644
--- a/doc/texinfo.texi
+++ b/doc/texinfo.texi
@@ -16147,8 +16147,9 @@ thorough structure check than that provided by
 @code{CHECK_MISSING_MENU_ENTRY}.  Off by default.
 
 @item CLOSE_QUOTE_SYMBOL
-When a closing quote is needed, use this character; default @code{&#8217;}
-in DocBook.  Undefined in the default case in HTML and set to @code{&rsquo;}
+When a closing quote is needed, e.g. for @code{@@samp} output, use
+this character; default @code{&#8217;} in DocBook.
+Undefined in the default case in HTML and set to @code{&rsquo;}
 if @code{USE_NUMERIC_ENTITY} is not set, to @code{&#8217;} if set, and
 to a quote character if @code{OUTPUT_CHARACTERS} is set and the output
 encoding includes that character.