Gruppo Utilizzatori Italiani di TeX
Niente di tutto questo. Secondo i messaggi sulla mailing list di TeX Live, il problema dovrebbe essere risolto con l’aggiornamento di oggi o domani. Non toccare l’albero di TeX Live.
Ciao Enrico
