diff options
| -rwxr-xr-x | Master/bin/win32/tl-w32-wrapper.texlua | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Master/bin/win32/tl-w32-wrapper.texlua b/Master/bin/win32/tl-w32-wrapper.texlua index a48f5256744..9df6f246663 100755 --- a/Master/bin/win32/tl-w32-wrapper.texlua +++ b/Master/bin/win32/tl-w32-wrapper.texlua @@ -1,6 +1,6 @@ #! /usr/bin/env texlua --*-Lua-*- --- $Id: tl-w32-wrapper.texlua 7785 2008-05-01 21:09:37Z preining $ +-- $Id: tl-w32-wrapper.texlua 8125 2008-05-14 06:53:32Z preining $ -- Copyright (C) 2007, 2008 Reinhard Kotucha, Norbert Preining. -- You may freely use, modify and/or distribute this file. @@ -24,6 +24,8 @@ if string.find(arg[0], '/') then -- UNIX path progname = select(1, string.gsub(arg[1], '.*/', '')) elseif string.find(arg[0], '\\') then -- Windows path progname = select(1, string.gsub(arg[1], '.*\\', '')) + -- we might have \ and / mixed together ... + progname = select(1, string.gsub(progname, '.*/', '')) else -- no path progname = arg[1] end |