Quoting Sven Luther <sven.luther@wanadoo.fr>: > Mmm, i think i prefer the solution proposed by Martin. We do a rmdir, > and if it fails, it is because 3.06 is not empty, and this is no more > our problem. And after removing ld.conf, of course. -- Jérôme Marant