summaryrefslogtreecommitdiff
path: root/Build/source/texk/tex4htk/ht
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/tex4htk/ht')
-rw-r--r--Build/source/texk/tex4htk/ht11
1 files changed, 5 insertions, 6 deletions
diff --git a/Build/source/texk/tex4htk/ht b/Build/source/texk/tex4htk/ht
index 0498e529af7..e5fb159acc2 100644
--- a/Build/source/texk/tex4htk/ht
+++ b/Build/source/texk/tex4htk/ht
@@ -1,7 +1,6 @@
-#!/bin/sh
- $1 $2
- $1 $2
- $1 $2
- tex4ht $2
- t4ht $2 $3
+$1 $2
+$1 $2
+$1 $2
+tex4ht $2
+t4ht $2 $3 # -d~/WWW/temp/ -m644