Robert Millan wrote:
> On Fri, Dec 04, 2009 at 06:05:37PM -0600, Bruce Dubbs wrote:
>> +	docs/{grub.info,version.texi,stamp-vti}
> 
> This seems bash-specific.  Have you tested it with another shell?

No I didn't.  Sorry about that.  Try this patch.

   -- Bruce