diff options
author | Karl Berry <karl@freefriends.org> | 2008-05-10 00:34:52 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-05-10 00:34:52 +0000 |
commit | 3faea455168abd154168997d2b79fe677fb2afa0 (patch) | |
tree | 8a2f7cc789389ed17d28d6a45053fb36db4c7b0b /Build/source/texk/tex4htk/jh1context | |
parent | 3affd633834494c279f96078e95831935ea51ca7 (diff) |
missed new executables
git-svn-id: svn://tug.org/texlive/trunk@8001 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/tex4htk/jh1context')
-rwxr-xr-x | Build/source/texk/tex4htk/jh1context | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Build/source/texk/tex4htk/jh1context b/Build/source/texk/tex4htk/jh1context new file mode 100755 index 00000000000..51bbe192c42 --- /dev/null +++ b/Build/source/texk/tex4htk/jh1context @@ -0,0 +1,7 @@ +#!/bin/sh + texexec --arg="ht-1=$2" --use=tex4ht --dvi --nobackend $5 $1 + tex4ht -f/$1 -i~/tex4ht.dir/texmf/tex4ht/ht-fonts/$3 -cmozhtf -u10 + t4ht -f/$1 $4 -d$1-doc/ -cjavahelp1 -m644 + + + |