Re: 6.0 release

[Karl Berry]

    Let me know if something is missing, or I can commit this.

Go ahead, as far as I'm concerned.  I see nothing gained by delay.

    (I see there's an $Id$ keyword in the files -- does this one need the

It's not required.  If you find Id keyword expansion useful, add it, if
not, don't.  Not likely anyone else will be editing the batch files.

Thanks,
K