diff options
Diffstat (limited to 'Master')
-rw-r--r-- | Master/tlpkg/etc/safer-update.diff | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/etc/safer-update.diff b/Master/tlpkg/etc/safer-update.diff index 5cb8859aca1..816c8c266ea 100644 --- a/Master/tlpkg/etc/safer-update.diff +++ b/Master/tlpkg/etc/safer-update.diff @@ -9,7 +9,7 @@ Index: tlmgr.pl - print "update: $pkg (first remove old, then install new)\n"; - merge_into(\%ret, &remove_package($pkg, $localtlpdb, 1)); + print "update: $pkg (install new ... "; -+ # we have to be careful hear. If we remove the package and ++ # we have to be careful here. If we remove the package and + # later the install_package call which downloads fails, then + # we are in a rather bad shape ... + # |