summaryrefslogtreecommitdiff
path: root/Master/tlpkg/bin/pdflatex-preserve-pdf
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/bin/pdflatex-preserve-pdf')
-rwxr-xr-xMaster/tlpkg/bin/pdflatex-preserve-pdf2
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"