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 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

To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to [EMAIL PROTECTED]
More majordomo info at

Reply via email to