::
ciao enrico , nel bashrc ho già esportato il patch della versione 2009 , difatto se da shell chiedo info sulla versione il risultato è proprio la TeXlive 2009 …
come risolvere altrimenti?
Entrambe sono TeX Live 2009!
Che dice “which tex”?
Ciao
Enrico
