diff options
author | Karl Berry <karl@freefriends.org> | 2008-06-03 16:42:13 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-06-03 16:42:13 +0000 |
commit | bd5b43f63ab8e918c04773c7f9f2b2d7ad989349 (patch) | |
tree | c1e793428f1aedca8104381f389ada2e225f15d3 /Master | |
parent | e9dcd96592e8e218e5cca4c388b7583909385576 (diff) |
mkjobtexmf wrapper; do not complain about Windows tex4ht .bat files
git-svn-id: svn://tug.org/texlive/trunk@8524 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/bin/win32/mkjobtexmf.bat | 8 | ||||
-rwxr-xr-x | Master/tlpkg/bin/check-wrapper-consistency | 10 |
2 files changed, 12 insertions, 6 deletions
diff --git a/Master/bin/win32/mkjobtexmf.bat b/Master/bin/win32/mkjobtexmf.bat new file mode 100755 index 00000000000..fe949613d7c --- /dev/null +++ b/Master/bin/win32/mkjobtexmf.bat @@ -0,0 +1,8 @@ +@echo off
+rem tl-w32-starter.bat
+rem universal script starter, batch file part
+rem this program calls the tl-w32-wrapper.texlua
+setlocal
+set ownpath=%~dp0%
+texlua "%ownpath%tl-w32-wrapper.texlua" "%~dpn0" %*
+endlocal
diff --git a/Master/tlpkg/bin/check-wrapper-consistency b/Master/tlpkg/bin/check-wrapper-consistency index 0890b16dc78..3a0b4afe573 100755 --- a/Master/tlpkg/bin/check-wrapper-consistency +++ b/Master/tlpkg/bin/check-wrapper-consistency @@ -42,15 +42,11 @@ sub main $w{'updmap'} = 1; $w{'updmap-sys'} = 1; - # these can be removed after we update all i386-linux binaries. - $w{'texindy'} = 1; - $w{'xindy'} = 1; - my $srcdir = "$Master/../Build/source/texk/texlive"; $cww = "$srcdir/tl-w32-starter.bat"; $err += &check_w32 ("win32", $cww, %w); - # one more. + # one more, the wrapper itself. $err += system ("cmp win32/tl-w32-wrapper.texlua" . " $srcdir/tl-w32-wrapper.texlua"); @@ -104,8 +100,10 @@ sub check_w32 my $diff = 0; for my $k (sort keys %uw) { - $diff += system ("cmp $w32dir/$k.bat $w32canonical"); #print "$k -> $uw{$k}\n"; + # the tex4ht entries are real .bat scripts on Windows. + next if $uw{$k} =~ /tex4ht/; + $diff += system ("cmp $w32dir/$k.bat $w32canonical"); } return $diff; |