diff options
Diffstat (limited to 'Master/tlpkg/libexec/mptopdf-extract')
-rwxr-xr-x | Master/tlpkg/libexec/mptopdf-extract | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Master/tlpkg/libexec/mptopdf-extract b/Master/tlpkg/libexec/mptopdf-extract index f959721a68f..530f64ef6bc 100755 --- a/Master/tlpkg/libexec/mptopdf-extract +++ b/Master/tlpkg/libexec/mptopdf-extract @@ -12,9 +12,17 @@ if test -z "$files"; then exit 1 fi +# Add man page in cont-tmf location: +files="$files doc/context/scripts/mkii/mptopdf.man" + +# Add w32 .exe stub too: +files="$files scripts/context/stubs/mswin/mptopdf.exe" + # We will extract them from the current context release. ctan=/home/ftp/mirror/rsync.tex.ac.uk/CTAN context_zip=$ctan/macros/context/current/cont-tmf.zip +# eventually ... +context_zip=/home/ftp/mirror/www.pragma-ade.com/context/beta/cont-tmf.zip if test ! -s $context_zip; then echo "$0: no context zip:" >&2 ls -l $context_zip >&2 |