diff options
| -rwxr-xr-x | Master/tlpkg/libexec/mptopdf-extract | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/tlpkg/libexec/mptopdf-extract b/Master/tlpkg/libexec/mptopdf-extract index 2c5e4a26909..e74a4c448a4 100755 --- a/Master/tlpkg/libexec/mptopdf-extract +++ b/Master/tlpkg/libexec/mptopdf-extract @@ -11,13 +11,13 @@ PATH=$tlbindir:$PATH # tlpfiles # and ignoring the man pages in TL locations. files=`tlpfiles mptopdf | sed 's,[^/]*/,,' | grep -v doc/man` if test -z "$files"; then - echo "$0: failed to get files for mptopdf." >&2 + echo "$0: tlpfiles for mptopdf failed." >&2 exit 1 fi # We will extract them from the current context release. ctan=/home/ftp/mirror/rsync.tex.ac.uk/CTAN -context_zip=/home/ftp/mirror/www.pragma-ade.com/context/current/cont-tmf.zip +context_zip=/home/ftp/mirror/www.pragma-ade.nl/context/current/cont-tmf.zip if unzip -tq $context_zip; then :; else echo "$0: unzip -t failed on:" >&2 ls -l $context_zip >&2 |