From: Petr Baudis Date: Tue, 09 Aug 2005 20:57:25 GMT Subject: Re: [PATCH] Use $DESTDIR instead of $dest Message-ID: <20050809205725.GG7052@pasky.ji.cz> In-Reply-To: <7v4qa4geiq.fsf@assigned-by-dhcp.cox.net> Dear diary, on Sat, Aug 06, 2005 at 01:17:17AM CEST, I got a letter where Junio C Hamano told me that... > Petr Baudis 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... No problem, this was just some of the last tidbits wrt. synchronization of the makefiles with Cogito. -- Petr "Pasky" Baudis Stuff: http://pasky.or.cz/ If you want the holes in your knowledge showing up try teaching someone. -- Alan Cox