Le mardi 21/09/10 à 11h16, Zdenek Wagner <zdenek.wagner at gmail.com> a écrit : > Try --random-wait? Do you mean as a tlmgr option? If do, it is unknown. -- Denis