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

[Akim Demaille]

>>>>> "Russ" == Russ Allbery <[EMAIL PROTECTED]> writes:

Russ> DESTDIR is completely unusable for this situation because
Russ> DESTDIR requires a complete replication of your final file
Russ> system structure under the DESTDIR root, which isn't how this
Russ> normally works.  DESTDIR is more intended for doing things like
Russ> installing packages into a separate file system that will
Russ> eventually be mounted as /.

OK, thanks, this answers one of my questions.