headers.sed can't handle embedded tabs

[Doug Evans]

Alan Modra writes:
 > On Mon, Aug 12, 2002 at 05:07:17PM -0700, Doug Evans wrote:
 > > Is anyone else seeing the top of the files generated by "make headers"
 > > containing incorrect text?
 > 
 > Not here.
 > 
 > $ sh --version
 > GNU bash, version 2.04.0(1)-release (i386-suse-linux)

Heh, I'm using on old bash, 1.14.7.

 > Please test this for me.
 > 
 > 	* header.sed: Strip tabs.

Works great, thanks.