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