summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMaster/tlpkg/texlua/mktexupd.texlua4
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