diff options
| author | Karl Berry <karl@freefriends.org> | 2018-05-20 21:30:42 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2018-05-20 21:30:42 +0000 |
| commit | 1166be27a287015a471154b2bee3f8197578e24e (patch) | |
| tree | 377e96db9791e67001b6282163f5910ff6039d3c /Master/tlpkg/bin | |
| parent | ad9c864ce4e52a636d20454491151145a174f4a6 (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-x | Master/tlpkg/bin/pdflatex-preserve-pdf | 12 |
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" |