diff options
author | René Scharfe <l.s.r@web.de> | 2020-10-11 08:14:35 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2020-10-12 12:21:19 -0700 |
commit | 4813277ed871b9cfc0844482f42fec60e259577a (patch) | |
tree | 748f62e31ffde60d08295db9cf09159ebf10cfc0 | |
parent | Makefile: use git init/add/commit/archive for dist-doc (diff) | |
download | tgif-4813277ed871b9cfc0844482f42fec60e259577a.tar.xz |
Makefile: remove the unused variable TAR_DIST_EXTRA_OPTS
Signed-off-by: René Scharfe <l.s.r@web.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
-rw-r--r-- | Makefile | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -3053,9 +3053,6 @@ quick-install-html: ### Maintainer's dist rules -# Allow tweaking to hide local environment effects, like perm bits. -# With GNU tar, "--mode=u+rwX,og+rX,og-w" would be a good idea, for example. -TAR_DIST_EXTRA_OPTS = GIT_TARNAME = git-$(GIT_VERSION) GIT_ARCHIVE_EXTRA_FILES = \ --prefix=$(GIT_TARNAME)/ \ |