Re: HTML format documentation

[Russ Allbery]

Paul D Smith <[EMAIL PROTECTED]> writes:
> %% Alexandre Oliva <[EMAIL PROTECTED]> writes:

>>> * Is the advantage big enough to justify the incompatible change
>>> of saying "You can't specify the prefix when you run Make"?

> This should always be explicitly _allowed_ during "make install", as
> long as "make" has been done first.

> Either that, or DESTDIR should become a required feature of GNU
> installation.

You need both; they don't do the same thing.  The second is less useful;
it's mostly for installing into a root disk mounted on another file system
and that sort of thing.  Resetting prefix doesn't do the same thing as
setting DESTDIR and is considerably more important for some installation
environments, such as AFS.

There was some discussion of this on the list a while back.

-- 
Russ Allbery ([EMAIL PROTECTED])             <http://www.eyrie.org/~eagle/>