diff options
-rwxr-xr-x | Master/texmf/scripts/texlive/tlmgr.pl | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Master/texmf/scripts/texlive/tlmgr.pl b/Master/texmf/scripts/texlive/tlmgr.pl index eb4d9730361..f2c80a42460 100755 --- a/Master/texmf/scripts/texlive/tlmgr.pl +++ b/Master/texmf/scripts/texlive/tlmgr.pl @@ -1345,7 +1345,6 @@ sub action_backup { sub write_w32_updater { my ($restart_tlmgr, $ref_files_to_be_removed, @w32_updated) = @_; my @infra_files_to_be_removed = @$ref_files_to_be_removed; - @infra_files_to_be_removed =~ s!/!\\!g; # to keep del command happy # TODO do something with these files TODO my $media = $tlmediasrc->media; my $mediatlpdb = $tlmediasrc->tlpdb; |