diff options
Diffstat (limited to 'Master/bin/win32/ht.bat')
| -rw-r--r-- | Master/bin/win32/ht.bat | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Master/bin/win32/ht.bat b/Master/bin/win32/ht.bat index 36886717f2a..24dd8e8b689 100644 --- a/Master/bin/win32/ht.bat +++ b/Master/bin/win32/ht.bat @@ -3,4 +3,3 @@ %1 %2
tex4ht %2
t4ht %2 %3
-
|