diff options
| author | Karl Berry <karl@freefriends.org> | 2018-10-02 01:22:22 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2018-10-02 01:22:22 +0000 |
| commit | 32069c320446020f4785e44d6de44f6d74623040 (patch) | |
| tree | 31c9fa80a2b84305321e04ff1c52adcc92f6214b /Master/texmf-dist | |
| parent | 9bd6270493c16a9f173383140f147e41ce181f71 (diff) | |
simpdftex update from herbs
git-svn-id: svn://tug.org/texlive/trunk@48806 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist')
| -rwxr-xr-x | Master/texmf-dist/scripts/simpdftex/simpdftex | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/Master/texmf-dist/scripts/simpdftex/simpdftex b/Master/texmf-dist/scripts/simpdftex/simpdftex index 28836cfc1fb..beff5ee57c3 100755 --- a/Master/texmf-dist/scripts/simpdftex/simpdftex +++ b/Master/texmf-dist/scripts/simpdftex/simpdftex @@ -119,9 +119,12 @@ # that do not support -n and this script will have to be changed # before it works on such a system. # 2018/09/19 Added --distilleropts optlist command line flag for -# options to be added to the distiller aapplication; +# options to be added to the distiller application; # e.g. "-dCompatibilityLevel=1.5 -dNOSAFER". # Removed uses of echo -n. +# 2018/09/24 Added -dCompatibilityLevel=15 into the distillerprog definition +# and removed quotes around execution of ${distillerprog} so it can +# contain options. # FEATURE: it seems -u +foo.map -u -foo.map does not work. So --extradvipsopts # cannot be used to remove a map from the standard list @@ -130,7 +133,7 @@ # i.e. foo.bar.bla gets you foo.bar.pdf not foo.bar.bla.pdf # Hint: Give all extensions explicitly on the command line -version='20180920' +version='20180924' calledas=`basename "$0"` if [ "${calledas}" = "simpdftex" ] then @@ -169,7 +172,7 @@ texpath=`dirname "$0"` #distillerfilter="yes" distillerpath="/usr/local/bin" #distillerprog="ps2pdf13" -distillerprog="ps2pdf" +distillerprog="ps2pdf -dCompatibilityLevel=1.5" distillerfilter="no" unset outdir debug="no" @@ -499,12 +502,12 @@ run_dvips() if [ "${distillerfilter}" = "yes" ]; then /bin/echo "### ${distillerprog} ${distilleroptions} <${psfile} >${pdffile}" - "${distillerprog}" ${distilleroptions} <"${psfile}" >"${pdffile}" || \ + ${distillerprog} ${distilleroptions} <"${psfile}" >"${pdffile}" || \ { /bin/echo "### FAILED to generate ${pdffile} (${status})" exit 1; } else /bin/echo "### ${distillerprog} ${distilleroptions} ${psfile} ${pdffile}" - "${distillerprog}" ${distilleroptions} "${psfile}" "${pdffile}" || \ + ${distillerprog} ${distilleroptions} "${psfile}" "${pdffile}" || \ { /bin/echo "### FAILED to generate ${pdffile} (${status})" exit 1; } fi |