On Tue, Dec 23, 2008 at 12:57:19PM +0100, Jim Meyering wrote: > This all looks fine, but I'd prefer to retain the WARNING in the generated > file, so that people are less likely to modify it directly. Along the Sure, your changes sound fine - are you going to commit your version? thanks john