diff options
| author | Norbert Preining <preining@logic.at> | 2008-04-03 16:52:55 +0000 |
|---|---|---|
| committer | Norbert Preining <preining@logic.at> | 2008-04-03 16:52:55 +0000 |
| commit | 0defdeb969785b0dadda5b42838d00a026438d7f (patch) | |
| tree | d5c55542838c32332f5bfefc4d68ea3e2a6e32c4 /Build | |
| parent | 3e300fc04846b7503f377198039a6a149defbeeb (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-x | Build/source/texk/texlive/tlmgr | 5 |
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 |