Merge branch 'rj/make-clean'
authorJunio C Hamano <redacted>
Thu, 17 Dec 2020 23:06:40 +0000 (15:06 -0800)
committerJunio C Hamano <redacted>
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
git clone https://git.99rst.org/PROJECT