On Sat, 11 Oct 2008 17:47:31 +1100 "Lex Trotman" elextr@gmail.com wrote:
- 'Make Commands' is mentioned, perhaps this should be renamed
'Global Commands', as these may well be nothing to do with 'make'.
I agree it should be changed from 'Make' but I had trouble getting a term I was happy with.
Anyway for now Make Commands is OK, we can change it later if we want.
Regards, Nick