Per Lorenzo: il riferimento a pagina 5 è sbagliato (c’è “text” invece di “tex”).
Ops! Correggo subito!
Non confonderei l’albero “personale” con quello “locale” che si trova in /usr/local/texlive/texmf-local. Ciò che si mette in questo è disponibile a tutti gli utenti…
Grazie per la segnalazione. Avevo preso quella parte da qui: http://www.guit.sssup.it/installazione/pacchetti.php
dove si fa riferimento al cosiddetto “albero utente”. Quella traduzione non mi piaceva, ci ho pensato un po’ su e l’ho cambiata in “albero locale”, dimenticandomi che in Unix quel nome significa altro, come hai evidenziato.
“Albero personale” è l’espressione giusta, naturalmente: impeccabile dal punto di vista dell’informatica e dell’italiano.
Correggo subito.
Grazie ancora,
Lorenzo