diff options
Diffstat (limited to 'Master/texmf-doc/source')
-rw-r--r-- | Master/texmf-doc/source/english/texlive-en/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-doc/source/english/texlive-en/Makefile b/Master/texmf-doc/source/english/texlive-en/Makefile index 1e1132f3824..5f8a0e909f2 100644 --- a/Master/texmf-doc/source/english/texlive-en/Makefile +++ b/Master/texmf-doc/source/english/texlive-en/Makefile @@ -41,7 +41,7 @@ install: instdir=$(insttop)/$$lang/$$tldir; \ echo tldoc install to $$instdir; \ for f in $(instfiles); do \ - cmp -s $$f $$instdir/$$f && continue; \ + cmp -s $$f $$instdir/$$f && rm -v $$f && continue; \ mv -v $$f $$instdir/$$f; \ done; echo "Now svn commit $$instdir" |