diff options
Diffstat (limited to 'Master/bin/win32/httex.bat')
-rwxr-xr-x | Master/bin/win32/httex.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/bin/win32/httex.bat b/Master/bin/win32/httex.bat index ede19eb5f96..80f87ae4c7a 100755 --- a/Master/bin/win32/httex.bat +++ b/Master/bin/win32/httex.bat @@ -1,4 +1,4 @@ -
+@echo off
Rem httex.bat (2020-10-25-17:53), generated from tex4ht-mkht.tex
Rem Copyright 2009-2020 TeX Users Group
Rem Copyright 2003-2009 Eitan M. Gurari
|