summaryrefslogtreecommitdiff
path: root/Build
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2008-04-03 16:52:55 +0000
committerNorbert Preining <preining@logic.at>2008-04-03 16:52:55 +0000
commit0defdeb969785b0dadda5b42838d00a026438d7f (patch)
treed5c55542838c32332f5bfefc4d68ea3e2a6e32c4 /Build
parent3e300fc04846b7503f377198039a6a149defbeeb (diff)
same changes in the source
git-svn-id: svn://tug.org/texlive/trunk@7301 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
-rwxr-xr-xBuild/source/texk/texlive/tlmgr5
1 files changed, 4 insertions, 1 deletions
diff --git a/Build/source/texk/texlive/tlmgr b/Build/source/texk/texlive/tlmgr
index 06fab7e6a3f..61d3c60f59d 100755
--- a/Build/source/texk/texlive/tlmgr
+++ b/Build/source/texk/texlive/tlmgr
@@ -65,7 +65,7 @@ function rmdir(name)
end
local ok = lfs.attributes(name)
if ok then
- io.stderr:write(string.format("%s: removing '%s' didn't succeed\n",filename,name)
+ io.stderr:write(string.format("%s: removing '%s' didn't succeed\n",filename,name))
end
return ok
end
@@ -128,9 +128,12 @@ if arg[1] == 'uninstall' then
rmdir(TEXDIR.."/texmf-config")
rmdir(TEXDIR.."/texmf")
rmdir(TEXDIR.."/tlpkg")
+ os.remove(TEXDIR.."/temp")
os.remove(TEXDIR.."/install-tl.log")
rmdir(TEXDIR.."/bin")
-- now everything should be removed, try to remove also TEXDIR
+ -- this will not succeed on win32 since texlua.exe is still in use
+ -- and thus removing TEXDIR/bin will not work. Damned.
os.remove(TEXDIR)
os.exit(0)
end