Paolo,

> sed does not have +.

Thanks for the hint. Apparently GNU sed version 4.1.5 has it, provided you use 
-r,
but I was wondering what to do since I did not see it in fixincl.x.
So I will use [ \t][ \t]*.

Dominique

Reply via email to