diff options
| -rwxr-xr-x | Master/texmf/scripts/texlive/tlmgr.pl | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Master/texmf/scripts/texlive/tlmgr.pl b/Master/texmf/scripts/texlive/tlmgr.pl index c32983124f6..35d7e129081 100755 --- a/Master/texmf/scripts/texlive/tlmgr.pl +++ b/Master/texmf/scripts/texlive/tlmgr.pl @@ -630,7 +630,11 @@ sub action_update { } } print "update: $pkg (first remove old, then install new)\n"; - merge_into(\%ret, &remove_package($pkg, $localtlpdb, 1)); + if ($pkg eq "texlive.infra") { + log ("Not removing texlive.infra prior to upgrading\n"); + } else { + merge_into(\%ret, &remove_package($pkg, $localtlpdb, 1)); + } merge_into(\%ret, $tlmediasrc->install_package($pkg, $localtlpdb, $opt_nodepends, 0)); print "update: $pkg done\n"; } |