Re: @codequote* commands

[Eli Zaretskii]

> Date: Sun, 3 May 2015 14:11:19 +0100
> From: Gavin Smith <address@hidden>
> Cc: address@hidden
> 
> Please feel free make or propose your preferred change to NEWS and
> texinfo.texi to mention these deprecated variables.

How about the below?

Index: NEWS
===================================================================
--- NEWS        (revision 6238)
+++ NEWS        (working copy)
@@ -157,7 +157,8 @@
   . new environments @raggedright, @smallquotation,
       @indentedblock, and @smallindentedblock.
   . new commands @codequoteundirected and @codequotebacktick,
-      for a better interface than the @set variables; now respected by @kbd.
+      for a better interface than "@set txicodequoteundirected" and
+      "@set txicodequotebacktick"; now respected by @kbd.
   . new command @xrefautomaticsectiontitle to allow using section titles
       in cross references by default, instead of node names.
   . new commands for Texinfo special characters:
Index: doc/texinfo.texi
===================================================================
--- doc/texinfo.texi    (revision 6238)
+++ doc/texinfo.texi    (working copy)
@@ -11055,8 +11055,12 @@
 @code{@@samp}, @code{@@verb}, and @code{@@verbatim}.  @xref{Useful
 Highlighting}.
 
-This feature used to be controlled by @code{@@set} variable names;
-they are still supported, but the command interface is preferred.
address@hidden address@hidden, obsolete variable}
address@hidden address@hidden, obsolete variable}
+This feature used to be controlled by using @code{@@set} to change the
+values of the corresponding variables @code{txicodequoteundirected}
+and @code{txicodequotebacktick}; they are still supported, but the
+command interface is preferred.
 
 
 @node Inserting Space