summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2008-01-19 13:44:24 +0000
committerNorbert Preining <preining@logic.at>2008-01-19 13:44:24 +0000
commit4207efddac06820de5125d4a6f1a5a7d5bd5abb9 (patch)
tree77483651ce6b74d3c51fe983e14b354cf56fd2f9
parent14a272b67f6b45caa09d6a6573bfb28b268403af (diff)
suggestion from Hans
git-svn-id: svn://tug.org/texlive/trunk@6311 c570f23f-e606-0410-a88d-b1316a301751
-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