summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2018-10-02 01:22:22 +0000
committerKarl Berry <karl@freefriends.org>2018-10-02 01:22:22 +0000
commit32069c320446020f4785e44d6de44f6d74623040 (patch)
tree31c9fa80a2b84305321e04ff1c52adcc92f6214b
parent9bd6270493c16a9f173383140f147e41ce181f71 (diff)
simpdftex update from herbs
git-svn-id: svn://tug.org/texlive/trunk@48806 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-xMaster/texmf-dist/scripts/simpdftex/simpdftex13
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