diff options
Diffstat (limited to 'Master/bin/win32/ht.bat')
-rwxr-xr-x | Master/bin/win32/ht.bat | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/Master/bin/win32/ht.bat b/Master/bin/win32/ht.bat deleted file mode 100755 index 36886717f2a..00000000000 --- a/Master/bin/win32/ht.bat +++ /dev/null @@ -1,6 +0,0 @@ - %1 %2
- %1 %2
- %1 %2
- tex4ht %2
- t4ht %2 %3
-
|