diff options
Diffstat (limited to 'Master/texmf-dist/scripts/tex4ht/htxetex.sh')
| -rwxr-xr-x | Master/texmf-dist/scripts/tex4ht/htxetex.sh | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/Master/texmf-dist/scripts/tex4ht/htxetex.sh b/Master/texmf-dist/scripts/tex4ht/htxetex.sh index 4f2403ea437..09aaf2c729a 100755 --- a/Master/texmf-dist/scripts/tex4ht/htxetex.sh +++ b/Master/texmf-dist/scripts/tex4ht/htxetex.sh @@ -1,6 +1,14 @@ #!/bin/sh +# stop at first error +set -e -# htxetex (2020-10-25-17:53), generated from tex4ht-mkht.tex +# No interaction on the TeX runs is desirable. +# Simpler to do that here than on the individual commands; +# let's hope exec redirections are portable enough. +exec </dev/null + + +# htxetex (2020-11-23-10:05), generated from tex4ht-mkht.tex # Copyright 2009-2020 TeX Users Group # Copyright 2003-2009 Eitan M. Gurari # |