Dear diary, on Sat, Aug 06, 2005 at 01:17:17AM CEST, I got a letter
where Junio C Hamano <[EMAIL PROTECTED]> told me that...
> 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
> hold...

No problem, this was just some of the last tidbits wrt. synchronization
of the makefiles with Cogito.

                                Petr "Pasky" Baudis
If you want the holes in your knowledge showing up try teaching
someone.  -- Alan Cox
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