Thanks a lot to Julian for NMU'ing, and to everybody else who commented on the patch. I'll consider Frank's suggestions for an improved upload once I'm back home. BTW, is there any policy document for packages installing stuff in the tetex tree? I think this could be very useful. Cheers -Ralf -- Ralf Treinen Laboratoire Spécification et Vérification CNRS, École Normale Supérieure de Cachan, INRIA Futurs http://www.lsv.ens-cachan.fr/~treinen