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