diff options
| -rwxr-xr-x | Master/common.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/common.sh b/Master/common.sh index 29f37cfb8ff..817eaa41dee 100755 --- a/Master/common.sh +++ b/Master/common.sh @@ -313,7 +313,7 @@ this_platform_set() warn_nobin="===> WARNING: No binaries for this platform on CD! <=== There was not enough space, sorry. You can either select a different set of binaries from the <B> menu, or use the live image, or download -the binaries separately vis rsync. See http://tug.org/texlive." +the binaries separately via rsync. See http://tug.org/texlive." fi } |