::
A dire il vero in questo caso ho lasciato fare tutto a autoinst…
Allora da dove devo togliere a mano? Da /usr/local/texlive/2012/
o da /usr/local/texlive/texmf-local/ ? A me, trattandosi di caratteri
da me aggiunti, parrebbe pià corretto togliere da /usr/local/texlive/2012/…
m
