diff options
| author | Felipe Contreras <felipe.contreras@gmail.com> | 2021-05-21 22:29:39 (GMT) |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2021-05-24 09:08:22 (GMT) |
| commit | 471e7b2cf6ab5ef057feed03b35dde9a26357611 (patch) | |
| tree | 4bed68eebaa6a4759091d49e25d309fbf26082d4 /git-mergetool.sh | |
| parent | 56da21392b10ebe161dbf426f170e74f800178cf (diff) | |
| download | git-471e7b2cf6ab5ef057feed03b35dde9a26357611.zip git-471e7b2cf6ab5ef057feed03b35dde9a26357611.tar.gz git-471e7b2cf6ab5ef057feed03b35dde9a26357611.tar.bz2 | |
doc: remove unnecessary rm instances
Commits 50cff52f1a (When generating manpages, delete outdated targets
first., 2007-08-02) and f9286765b2 (Documentation/Makefile: remove
cmd-list.made before redirecting to it., 2007-08-06) created these rm
instances for a very rare corner-case: building as root by mistake.
It's odd to have workarounds here, but nowhere else in the Makefile--
which already fails in this stuation, starting from
Documentation/technical/.
We gain nothing but complexity, so let's remove them.
Comments-by: Jeff King <peff@peff.net>
Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-mergetool.sh')
0 files changed, 0 insertions, 0 deletions