summaryrefslogtreecommitdiff
path: root/Build/source/texk/tex4htk/dbcontext
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/tex4htk/dbcontext')
-rwxr-xr-xBuild/source/texk/tex4htk/dbcontext6
1 files changed, 3 insertions, 3 deletions
diff --git a/Build/source/texk/tex4htk/dbcontext b/Build/source/texk/tex4htk/dbcontext
index 1ebfaab47f4..5ca613eb6cf 100755
--- a/Build/source/texk/tex4htk/dbcontext
+++ b/Build/source/texk/tex4htk/dbcontext
@@ -1,7 +1,7 @@
-
- texexec --arg="opt-arg=$2" --use=tex4ht $5 $1
+#!/bin/sh
+ texexec --arg="ht-1=$2" --use=tex4ht --dvi --nobackend $5 $1
tex4ht -f/$1 -i~/tex4ht.dir/texmf/tex4ht/ht-fonts/$3 -cunihtf
- t4ht -f/$1 $4 -cvalidate ## -d~/WWW/temp/ -m644
+ t4ht -f/$1 $4 -cvalidate -cdocbk ## -d~/WWW/temp/ -m644