RE: redirecting *.hi

[Simon Marlow]

> Sergey:
> 
> One small correction:
> 
> The sed script should be:
> 
> sed -e 's/.*\/\([^\/][^\/]*\)\.hs/$(E)\/\1.o, $(E)\/\1.hi/'
> 
> 
> Of course:
> 
> :g/.*\/\([^\/][^\/]*\)\.hs/s//$(E)\/\1.o, $(E)\/\1.hi/
> 
> in vi should also work.

-odir <blah>  is supposed to work, I think.

Cheers,
        Simon