summaryrefslogtreecommitdiff
path: root/Master/tlpkg/bin
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2018-05-20 21:30:42 +0000
committerKarl Berry <karl@freefriends.org>2018-05-20 21:30:42 +0000
commit1166be27a287015a471154b2bee3f8197578e24e (patch)
tree377e96db9791e67001b6282163f5910ff6039d3c /Master/tlpkg/bin
parentad9c864ce4e52a636d20454491151145a174f4a6 (diff)
thucoursework (20may18)
git-svn-id: svn://tug.org/texlive/trunk@47781 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin')
-rwxr-xr-xMaster/tlpkg/bin/pdflatex-preserve-pdf12
1 files changed, 11 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/pdflatex-preserve-pdf b/Master/tlpkg/bin/pdflatex-preserve-pdf
index f9d70b1e571..befbc364301 100755
--- a/Master/tlpkg/bin/pdflatex-preserve-pdf
+++ b/Master/tlpkg/bin/pdflatex-preserve-pdf
@@ -15,8 +15,18 @@
# Authors are sometimes responsive to supporting an alternate method for
# running the dtx that does not remake the doc (e.g., \ifpdf), but not
# always. So we need this workaround.
+#
+# With a first arg --engine, the second arg is the name of the program
+# to invoke, instead of pdflatex.
+
+if test x"$1" = x--engine; then
+ shift
+ engine=$1; shift
+else
+ engine=pdflatex
+fi
basefile=`echo "$1" | sed 's/\.[^.]*$//'`
mv "$basefile.pdf" save.pdf
-pdflatex "$@"
+$engine "$@" </dev/null
mv save.pdf "$basefile.pdf"