Re: pity the poor csh users

[David Bremner]

Oh, I see my patch doesn't apply cleanly, and the problem is solvable
by setting shell-file-name.  I guess that is good enough for
now. Sorry for the noise.

d