On Fri Aug 22 22:10:54 2008, particle wrote: > >> > >> 6. A new makefile target, renumberops, invokes tools/dev/opsrenumber.pl. > >> > > > it strikes me that the makefile target and the script name should be > the same.
Changed to 'make opsrenumber'.
