emacs-27 6cdecc2: Revert markup change in with-coding-priority docs

[Basil L. Contovounesios]

branch: emacs-27
commit 6cdecc2659a290f4a9eddb498978e3b07d5cbc58
Author: Basil L. Contovounesios <contovob@tcd.ie>
Commit: Basil L. Contovounesios <contovob@tcd.ie>

    Revert markup change in with-coding-priority docs
    
    This partially reverts commit fc759eb9b3
    "Fix with-coding-priority markup in Elisp manual"
    of 2019-10-13T15:36:02Z!contovob@tcd.ie.
    
    For discussion, see the following thread:
    https://lists.gnu.org/archive/html/emacs-devel/2019-10/msg00550.html
    https://lists.gnu.org/archive/html/emacs-devel/2020-06/msg00473.html
    
    * doc/lispref/nonascii.texi (Specifying Coding Systems): Use more
    specific cross-reference to progn even if info.el displays it
    suboptimally.
---
 doc/lispref/nonascii.texi | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/lispref/nonascii.texi b/doc/lispref/nonascii.texi
index 51831a0..c6c78ec 100644
--- a/doc/lispref/nonascii.texi
+++ b/doc/lispref/nonascii.texi
@@ -1823,9 +1823,9 @@ than all the rest.
 
 @defmac with-coding-priority coding-systems &rest body
 This macro executes @var{body}, like @code{progn} does
-(@pxref{Sequencing}), with @var{coding-systems} at the front of the
-priority list for coding systems.  @var{coding-systems} should be a
-list of coding systems to prefer during execution of @var{body}.
+(@pxref{Sequencing, progn}), with @var{coding-systems} at the front of
+the priority list for coding systems.  @var{coding-systems} should be
+a list of coding systems to prefer during execution of @var{body}.
 @end defmac
 
 @node Explicit Encoding