Re: spaces after command name

[Patrice Dumas]

On Tue, Nov 20, 2012 at 12:38:55AM +0100, Patrice Dumas wrote:
> I can do that, sure.  The other possibility would be to force all
> users to remove those spaces...

Ok, I'll do it.  Some things that work with user macro expansions 
may not work here, such as

@macro spaces
  
@end macro

@address@hidden

and maybe other constructs, I am not sure, but overall, I don't think
that we should be too concerned with those constructs.

What about adding a customization variable in that case, like
  IGNORE_SPACE_BEFORE_BRACE
That would be set to 1 in the default case?

-- 
Pat