summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2008-06-03 16:42:13 +0000
committerKarl Berry <karl@freefriends.org>2008-06-03 16:42:13 +0000
commitbd5b43f63ab8e918c04773c7f9f2b2d7ad989349 (patch)
treec1e793428f1aedca8104381f389ada2e225f15d3 /Master
parente9dcd96592e8e218e5cca4c388b7583909385576 (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-xMaster/bin/win32/mkjobtexmf.bat8
-rwxr-xr-xMaster/tlpkg/bin/check-wrapper-consistency10
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;