]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'rj/make-clean'
authorJunio C Hamano <gitster@pobox.com>
Thu, 17 Dec 2020 23:06:40 +0000 (15:06 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 17 Dec 2020 23:06:40 +0000 (15:06 -0800)
Build optimization.

* rj/make-clean:
  Makefile: don't use a versioned temp distribution directory
  Makefile: don't try to clean old debian build product
  gitweb/Makefile: conditionally include ../GIT-VERSION-FILE
  Documentation/Makefile: conditionally include ../GIT-VERSION-FILE
  Documentation/Makefile: conditionally include doc.dep

1  2 
Documentation/Makefile
Makefile

Simple merge
diff --cc Makefile
Simple merge