summaryrefslogtreecommitdiff
path: root/Master/bin/i386-linux/tlmgr
diff options
context:
space:
mode:
Diffstat (limited to 'Master/bin/i386-linux/tlmgr')
-rwxr-xr-xMaster/bin/i386-linux/tlmgr7
1 files changed, 5 insertions, 2 deletions
diff --git a/Master/bin/i386-linux/tlmgr b/Master/bin/i386-linux/tlmgr
index 0543d040776..07784e9405a 100755
--- a/Master/bin/i386-linux/tlmgr
+++ b/Master/bin/i386-linux/tlmgr
@@ -1,6 +1,6 @@
#! /usr/bin/env texlua
--*-Lua-*-
--- $Id: tlmgr.texlua 7030 2008-03-19 21:52:43Z reinhardk $
+-- $Id: tlmgr 7297 2008-04-03 16:32:24Z preining $
-- Copyright (C) 2008 Reinhard Kotucha, Norbert Preining.
-- You may freely use, modify and/or distribute this file.
@@ -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