Re: Why does ./configure not set prefix and exec_prefix?

[Tom Tromey]

Russ> I think that make install prefix= should continue to work so
Russ> that we don't have to resort to ugly hacks like that to force
Russ> DESTDIR into doing things it wasn't designed for originally.

If the prefix= trick goes away you can always hack install-sh to do
almost anything.

Tom