[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: spaces after command name
From: |
Karl Berry |
Subject: |
Re: spaces after command name |
Date: |
Mon, 19 Nov 2012 17:17:21 -0700 |
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?
Thanks,
k
Re: spaces after command name, Karl Berry, 2012/11/19