What's in git.git tonight

Here are the things merged to "master" so far:

 - The first part of the http-push over DAV; git-push frontend
   is not aware of it yet; interested people please try it out
   with git-http-push and send thanks-it-works messages to Nick.

 - Overriding CFLAGS from make command line did not quite work
   if you were on a platform that needed to acquire platform
   specific defines from the Makefile.  Hopefully this has been
   fixed.

 - My attempt to split the Debian binary package into multiple
   ones.

 - Some documentation fixes.

 - A fix to format-patch.

In the proposed updates branch:

 - svnimport fixes from Yaacov; svnimport users please either
   Ack or report regression.

 - 'git binary directory' changes, started by Linus.  I am
   running with gitdir != bindir configuration on my machine and
   it seems to work, but I'd want wider audience to test this.
   Note that the Debian binary packages have not been adjusted
   for this change yet.

 - A 'git clone' change to fully populate remotes/origin; this
   is more or less an RFC item; likes?  dislikes?

 - A change to git-push to allow push-over-http-DAV.  I'd like
   to push this part out after I hear success stories from
   people on the first half.

I plan to do a 0.99.9e Sunday night with the tip of "master"
(wherever it will be by that time).