Hi Laurent, > 3) Copy the files instead of moving them, copied files ends with the > label of their parent folder
I think I will implement this change upstream, so that other distributions will profit from it at the same time. Norbert -- PREINING Norbert http://www.preining.info Accelia Inc. + JAIST + TeX Live + Debian Developer GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13
