diff options
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/tlpkg/texlua/mktexupd.texlua | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/Master/tlpkg/texlua/mktexupd.texlua b/Master/tlpkg/texlua/mktexupd.texlua index 0b191da8481..a85bdb9b6ef 100755 --- a/Master/tlpkg/texlua/mktexupd.texlua +++ b/Master/tlpkg/texlua/mktexupd.texlua @@ -65,9 +65,7 @@ end texmfdbs = kpse.expand_braces("$TEXMFDBS") for d in string.gmatch(texmfdbs,"[^:]+") do - if string.match(d,"^!!") then - d = string.sub(d,3) - end + d = d:gsub("^!!","") pel = string.match(dir,d.."/(.*)$") if pel then target = d |