diff options
Diffstat (limited to 'Master/bin/x86_64-linux/ht')
| l---------[-rwxr-xr-x] | Master/bin/x86_64-linux/ht | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/Master/bin/x86_64-linux/ht b/Master/bin/x86_64-linux/ht index 9336545fb4e..ecd829558cd 100755..120000 --- a/Master/bin/x86_64-linux/ht +++ b/Master/bin/x86_64-linux/ht @@ -1,7 +1 @@ -#!/bin/sh -$1 $2 -$1 $2 -$1 $2 -tex4ht $2 -t4ht $2 $3 # -d~/WWW/temp/ -m644 - +../../texmf-dist/scripts/tex4ht/ht.sh
\ No newline at end of file |