Re: spaces after command name

[Patrice Dumas]

On Mon, Nov 19, 2012 at 05:17:21PM -0700, Karl Berry wrote:
>     IGNORE_SPACE_AFTER_BRACE_COMMAND_NAME
> 
> I guess we don't really have a technical term for commands that take
> braces.  So this seems as good as any.  My last tweak would be "BRACED"
> rather than "BRACE".  Though neither is fully correct, seems close enough.
> 
> Can you please add an entry to the manual in the right place and I'll
> review the text as usual?

So i'll use IGNORE_SPACE_AFTER_BRACED_COMMAND_NAME and ok for the
manual.

-- 
Pat