Re: [Emacs-diffs] master fc759eb: Fix with-coding-priority markup in Elisp manual

[Eli Zaretskii <eliz@gnu.org>]

This change loses information:

  -@defmac with-coding-priority coding-systems &rest body@dots{}
  -This macro execute @var{body}, like @code{progn} does
  -(@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}.
  +@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}.

The 2nd argument of @pxref, as in @pxref{Sequencing, progn} above, is
not a no-op, and I see no reason to remove it in this case.  Did I
miss something?

Thanks for improving our documentation.