diff options
Diffstat (limited to 'Build/source/texk/tex4htk/ht')
-rw-r--r-- | Build/source/texk/tex4htk/ht | 11 |
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 |