summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/scripts/tex4ht/htxetex.sh
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/scripts/tex4ht/htxetex.sh')
-rwxr-xr-xMaster/texmf-dist/scripts/tex4ht/htxetex.sh10
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
#