summaryrefslogtreecommitdiff
path: root/Build/source/mswin32/fix-win32.bat
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/mswin32/fix-win32.bat')
-rw-r--r--Build/source/mswin32/fix-win32.bat4
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