diff options
author | Karl Berry <karl@freefriends.org> | 2024-02-19 22:30:29 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2024-02-19 22:30:29 +0000 |
commit | efd5808dbc77e9255ce06bd95b2e57a5fc096ee1 (patch) | |
tree | 680191678a99471bfe7941e47ef0b7671c99664d /Master | |
parent | f9259e0ddbab002a6e52f48bd95ae270a5e9b4d5 (diff) |
doc,sync
git-svn-id: svn://tug.org/texlive/trunk@69999 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/tlpkg/bin/tl-update-tlnet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/tl-update-tlnet b/Master/tlpkg/bin/tl-update-tlnet index 888d8c0f8bf..0c48e7ec1ab 100755 --- a/Master/tlpkg/bin/tl-update-tlnet +++ b/Master/tlpkg/bin/tl-update-tlnet @@ -293,7 +293,7 @@ if test $failure = false; then echo "$prg: Running $basecmd ($cmd)" outfile=/tmp/$tlnet_target.$basecmd if $cmd >$outfile 2>&1; then - echo "$prg: $basecmd ok." + echo "$prg: $basecmd ok." else echo "$prg: $basecmd failed ($cmd):" >&2 sed 8q $outfile >&2 |