diff options
Diffstat (limited to 'Master/tlpkg/bin/pdflatex-preserve-pdf')
-rwxr-xr-x | Master/tlpkg/bin/pdflatex-preserve-pdf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/pdflatex-preserve-pdf b/Master/tlpkg/bin/pdflatex-preserve-pdf index befbc364301..f4b146240f3 100755 --- a/Master/tlpkg/bin/pdflatex-preserve-pdf +++ b/Master/tlpkg/bin/pdflatex-preserve-pdf @@ -28,5 +28,5 @@ fi basefile=`echo "$1" | sed 's/\.[^.]*$//'` mv "$basefile.pdf" save.pdf -$engine "$@" </dev/null +yes y | head -100 | $engine "$@" # emisa: also asks for overwrite mv save.pdf "$basefile.pdf" |