Petr Baudis <[EMAIL PROTECTED]> writes: > $DESTDIR is more usual during the build than $dest and is what is usually > used in the makefiles, so let's use it too.
While I do not have much preference either way, I do not want to make this kind of change without making corresponding changes to the spec.in and debian/rules file in the same commit, or another commit that immediately follow it. And I wanted to do a 0.99.4 tomorrow, so I hope you would not mind if I placed this on hold... - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to [EMAIL PROTECTED] More majordomo info at http://vger.kernel.org/majordomo-info.html