K 10 svn:author V 5 markm K 8 svn:date V 27 1999-09-25T06:59:10.000000Z K 7 svn:log V 96 Rename a macro; it gets set at "make world" time, and I had a local mod that masked this. D'uh. END