diff options
Diffstat (limited to 'Master/bin/win32/ht.bat')
-rwxr-xr-x | Master/bin/win32/ht.bat | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/Master/bin/win32/ht.bat b/Master/bin/win32/ht.bat deleted file mode 100755 index 3db3a579742..00000000000 --- a/Master/bin/win32/ht.bat +++ /dev/null @@ -1,9 +0,0 @@ -%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
|