it to /[\/]/. This should work on all Posix-compliant awks.
It's slightly wrong with traditional (Unix version 7) awk, since it
also allows \, but that's a minor problem compared to awk syntax errors.
Unfortunately this requires putting a carriage return in the source code.
Don't assume that rlog will tolerate times like `10:10:60';
RCS 5.7 won't allow this.