2 Gennaio 2015 alle 11:51
#99423
::
Grazie per il suggerimento Ivan, ho provato a cercare il comando che dici tu ma non l’ho trovato. Ho guardato anche nel file di Aiuto del manager ma niente. Alla fine ho risolto disinstallando e reinstallando Texlive.
Vedo ora, però, che forse questa poteva essere un’altra soluzione (Disaster recovery):
https://www.tug.org/texlive/tlmgr.html