On Mon, Mar 4, 2024 at 1:23 PM Patrice Dumas <pertu...@free.fr> wrote:

> On Mon, Mar 04, 2024 at 06:23:23PM +0100, Bruno Haible wrote:
> >
> > Yes, please. Since "make" only produces the info-formatted output by
> default,
> > without the warning, developers won't realize their mistake until the
> time
> > they run "make distcheck" (since "make distcheck" creates the dvi/ps/pdf
> > formatted documentation). It is better to get the developers' attention
> > already during "make".
>
> Ok, I propose as warning message :
>
>  "non-mark brace command `\@%s' as \@%s argument should have braces"
>
> leading to something like
>
>  non-mark brace command `@asis' as @itemize argument should have braces
>
> Any comments/proposals on the warning message?

As a casual user, I don't know what a non-mark brace command is, but the
message makes it pretty clear I need to write @asis{}.

> --
Ray

Reply via email to