diff options
Diffstat (limited to 'Build/source/mswin32/fix-win32.bat')
| -rw-r--r-- | Build/source/mswin32/fix-win32.bat | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Build/source/mswin32/fix-win32.bat b/Build/source/mswin32/fix-win32.bat deleted file mode 100644 index b798e6ea8fa..00000000000 --- a/Build/source/mswin32/fix-win32.bat +++ /dev/null @@ -1,4 +0,0 @@ -rem @echo off
-rem dir /s/b *.tpm | perl \source\fptex\mswin32\global-replace.pl --line-mode --backup-dir=backup-win32 "{ $a=chr(10); $_=~s@^man/man(.)/([^\.]*)\.(.)@texmf/doc/man/man\1/\2.\3${a}texmf/doc/man/man\1/\2.html@; }"
-dir /s/b *.tpm | perl \source\fptex\mswin32\global-replace.pl --line-mode --backup-dir=backup-win32 "{ $a=chr(10); $_=~s@^${a}@@; }"
-rem popd
|