summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/scripts
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2016-05-13 13:44:56 +0000
committerNorbert Preining <preining@logic.at>2016-05-13 13:44:56 +0000
commite15de2375edd6d1490a5bf0014ff1b575ae8d29e (patch)
tree44241460f29a7a64fd980b8f0a8cfbacaffd28ba /Master/texmf-dist/scripts
parenteb512c1ca951360f6975fe9874e0212351e5e6d0 (diff)
English correction from Nelson
git-svn-id: svn://tug.org/texlive/trunk@41090 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/scripts')
-rwxr-xr-xMaster/texmf-dist/scripts/texlive/tlmgr.pl2
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