diff options
Diffstat (limited to 'Master/bin/win32/oocontext.bat')
| -rw-r--r-- | Master/bin/win32/oocontext.bat | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Master/bin/win32/oocontext.bat b/Master/bin/win32/oocontext.bat index 7bc8fea6423..9df2e2400bc 100644 --- a/Master/bin/win32/oocontext.bat +++ b/Master/bin/win32/oocontext.bat @@ -1,3 +1,3 @@ - call texexec --arg="opt-arg=%2" --use=tex4ht %5 %1
- tex4ht %1 -i\tex4ht\ht-fonts\%3 -ewin32\tex4ht.env -cmozhtf
- t4ht %1 %4 -coo -ewin32\tex4ht.env -cvalidate
+ call texexec --arg="ht-1=%2" --use=tex4ht --dvi --nobackend %5 %1
+ tex4ht \dirchar %1 -i/tex4ht/ht-fonts/%3 -ewin32/tex4ht.env -cmozhtf
+ t4ht \dirchar %1 %4 -cooxtpipes -coo -ewin32/tex4ht.env -cvalidate
|