diff options
author | Norbert Preining <preining@logic.at> | 2016-05-13 13:44:56 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2016-05-13 13:44:56 +0000 |
commit | e15de2375edd6d1490a5bf0014ff1b575ae8d29e (patch) | |
tree | 44241460f29a7a64fd980b8f0a8cfbacaffd28ba | |
parent | eb512c1ca951360f6975fe9874e0212351e5e6d0 (diff) |
English correction from Nelson
git-svn-id: svn://tug.org/texlive/trunk@41090 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-x | Master/texmf-dist/scripts/texlive/tlmgr.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/scripts/texlive/tlmgr.pl b/Master/texmf-dist/scripts/texlive/tlmgr.pl index bd52c09b97c..6ca8edea4a2 100755 --- a/Master/texmf-dist/scripts/texlive/tlmgr.pl +++ b/Master/texmf-dist/scripts/texlive/tlmgr.pl @@ -3168,7 +3168,7 @@ sub action_update { # dirs from the new package before re-installing the old one. # TODO logpackage("failed update: $pkg ($rev -> $mediarevstr)"); - tlwarn("$prg: Installation of new version of $pkg did fail, trying to unwind.\n"); + tlwarn("$prg: Installation of new version of $pkg failed, trying to unwind.\n"); if (win32()) { # w32 is notorious for not releasing a file immediately # we experienced permission denied errors |