[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Doc-problem with new markup-command
From: |
Thomas Morley |
Subject: |
Re: Doc-problem with new markup-command |
Date: |
Fri, 24 Nov 2023 11:37:09 +0100 |
Am Do., 23. Nov. 2023 um 11:53 Uhr schrieb Jean Abou Samra <jean@abou-samra.fr>:
>
>
> > Now m̀ake' fails.
> > Offending line in the doc-string is
> > The input-string @var{strg} may be composed by any string of \";|.:![]{}\".
> > Obviously the braces, { and }, need to be escaped.
> > How to?
>
>
> Like this I think:
>
> ... composed of the characters @samp{; | . : ! [ ] @{ @}}
>
Works now. Many thanks!