diff options
author | Junio C Hamano <gitster@pobox.com> | 2018-09-17 12:46:18 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-09-17 12:46:18 -0700 |
commit | 6b6547b46f6f3d6895b61467604ee1f4d98b5a7f (patch) | |
tree | eed9b91c5848bc41dbd1d18ef824723ea1851b90 /Documentation | |
parent | doc/Makefile: drop doc-diff worktree and temporary files on "make clean" (diff) | |
download | tgif-6b6547b46f6f3d6895b61467604ee1f4d98b5a7f.tar.xz |
Revert "doc/Makefile: drop doc-diff worktree and temporary files on "make clean""
This reverts commit 6f924265a0bf6efa677e9a684cebdde958e5ba06, which
started to require that we have an executable git available in order
to say "make clean", which gives us a chicken-and-egg problem.
Having to have Git installed, or be in a repository, in order to be
able to run an optional "doc-diff" tool is fine. Requiring either
in order to run "make clean" is a different story.
Reported by Jonathan Nieder <jrnieder@gmail.com>.
Diffstat (limited to 'Documentation')
-rw-r--r-- | Documentation/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index 623f1a866d..d079d7c73a 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -331,7 +331,6 @@ clean: $(RM) SubmittingPatches.txt $(RM) $(cmds_txt) $(mergetools_txt) *.made $(RM) manpage-base-url.xsl - '$(SHELL_PATH_SQ)' ./doc-diff --clean $(MAN_HTML): %.html : %.txt asciidoc.conf $(QUIET_ASCIIDOC)$(RM) $@+ $@ && \ |