Thanks! The new latest edit is still preferred but I'll keep that in mind
for the future.
On Fri, Jan 27, 2023, 23:33 Maxime Devos <maximede...@telenet.be> wrote:
>
>
> On 26-01-2023 19:57, Blake Shaw wrote:
> > don't know how to fix this rn, but...
>
> You can escape @ with @@.
>
> > ---
> > doc/ref/match.texi | 15 ++++++++-------
> > 1 file changed, 8 insertions(+), 7 deletions(-)
> >
> > diff --git a/doc/ref/match.texi b/doc/ref/match.texi
> > index 105150886..c5017e1a5 100644
> > --- a/doc/ref/match.texi
> > +++ b/doc/ref/match.texi
> > @@ -80,10 +80,10 @@ Patterns can be composed and nested. For instance,
> @code{...}
> > times in a list:
> >
> > @example
> > -(match '(((a b c) e f g) 1 2 3)
> > - (((head ...) tails ...)
> > - `(,@tails ,head)))
>
> E.g.: (,@@tails ,head) (untested)
>
