On Thursday, August 1, 2002, at 02:11 PM, Dave Rolsky wrote: > See, that's the problem. We're up in the hundreds. Maybe we should've > started formatting these with '%04d' way back when but that certainly > wouldn't help now.
I've given up on letting CVS set $VERSION, for just this reason. It's a major PITA. I set $VERSION manually. > Or we could just use the CVS revision as an integer, not a float. That is > weirder in some ways, but will just work right forever. Hm, not sure I understand how this would work. David -- David Wheeler AIM: dwTheory [EMAIL PROTECTED] ICQ: 15726394 http://david.wheeler.net/ Yahoo!: dew7e Jabber: [EMAIL PROTECTED]