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? Or should it be an error message? -- Pat
