summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/scripts/tex4ht/htlatex.sh
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2020-11-23 18:08:29 +0000
committerKarl Berry <karl@freefriends.org>2020-11-23 18:08:29 +0000
commit754f20ecc77875061dd95322eca1dd3e9f453b18 (patch)
treeb8ac4270c7b0d6ca290896ea253cb77b0d96b71a /Master/texmf-dist/scripts/tex4ht/htlatex.sh
parentcb98e23fb5a808872555c8db14a654230dd70137 (diff)
tex4ht scripts: set -e and redirect from /dev/null, tex4ht r837
git-svn-id: svn://tug.org/texlive/trunk@56988 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/scripts/tex4ht/htlatex.sh')
-rwxr-xr-xMaster/texmf-dist/scripts/tex4ht/htlatex.sh10
1 files changed, 9 insertions, 1 deletions
diff --git a/Master/texmf-dist/scripts/tex4ht/htlatex.sh b/Master/texmf-dist/scripts/tex4ht/htlatex.sh
index 354661bb79b..85b92153f75 100755
--- a/Master/texmf-dist/scripts/tex4ht/htlatex.sh
+++ b/Master/texmf-dist/scripts/tex4ht/htlatex.sh
@@ -1,6 +1,14 @@
#!/bin/sh
+# stop at first error
+set -e
-# htlatex (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
+
+
+# htlatex (2020-11-23-10:05), generated from tex4ht-mkht.tex
# Copyright 2009-2020 TeX Users Group
# Copyright 2003-2009 Eitan M. Gurari
#