diff options
Diffstat (limited to 'Master/bin/win32/ht.bat')
-rwxr-xr-x | Master/bin/win32/ht.bat | 17 |
1 files changed, 12 insertions, 5 deletions
diff --git a/Master/bin/win32/ht.bat b/Master/bin/win32/ht.bat index 24dd8e8b689..39c9caf0199 100755 --- a/Master/bin/win32/ht.bat +++ b/Master/bin/win32/ht.bat @@ -1,5 +1,12 @@ - %1 %2
- %1 %2
- %1 %2
- tex4ht %2
- t4ht %2 %3
+%1 %2
+
+%1 %2
+
+%1 %2
+
+tex4ht %2 -ic:\tex4ht\texmf\tex4ht\ht-fonts\%3 -ec:\tex4ht\texmf\tex4ht\base\win32\tex4ht.env
+
+t4ht %2 -ec:\tex4ht\texmf\tex4ht\base\win32\tex4ht.env
+
+
+
|