Re: PATCH: honour DESTDIR

[Tom Tromey]

>>>>> "Miles" == Miles Bader <address@hidden> writes:

Miles> [The wording in the current GNU standards is a bit silly -- it
Miles> seem to make an effort to emphasize that DESTDIR is optional
Miles> (`if you really, really, really, want to, and don't mind
Miles> spending all the extra time and effort, and definitely REALLY
Miles> want to, you can support DESTDIR like this...').  It sounds
Miles> almost like the grudging response to a flamewar...]

Yeah, I think that's close to reality.  I don't remember the details
though; it was a while ago.

Another little secret like this in the standards is the
`install-strip' argument.  That was Richard's response to a suggestion
from François.  Unfortunately Richard ignored existing practice and
instead added a new target which turned out to be surprisingly hard to
implement correctly.

Tom