diff options
-rwxr-xr-x | Master/bin/win32/makeglossaries.bat | 11 | ||||
-rwxr-xr-x | Master/tlpkg/bin/check-wrapper-consistency | 1 |
2 files changed, 9 insertions, 3 deletions
diff --git a/Master/bin/win32/makeglossaries.bat b/Master/bin/win32/makeglossaries.bat index d91f67bd3e9..fe949613d7c 100755 --- a/Master/bin/win32/makeglossaries.bat +++ b/Master/bin/win32/makeglossaries.bat @@ -1,3 +1,8 @@ -@rem = '-*- Perl -*- -@echo off -perl -S "%~dp0makeglossaries" %* +@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 2db7482e8db..0890b16dc78 100755 --- a/Master/tlpkg/bin/check-wrapper-consistency +++ b/Master/tlpkg/bin/check-wrapper-consistency @@ -79,6 +79,7 @@ sub unx_wrapper_entries die "readlink($ent) failed: $!" if !defined ($target); next unless $target =~ /^\.\./; # skip all but .. symlinks next if $target =~ /ps4pdf/; # has its own .bat, sorry for special case + next if $target =~ /dviasm/; # has no .bat, sorry for special case # the target of the symlink should be executable. warn "$ent: target $target not executable\n" if ! -x $target; |