In realtà, posso rispondermi da solo, o, meglio, citare la risposta direttamente da http://www.guit.sssup.it/installazione/pacchetti.php
Infatti, nella guida si parla di albero personale, mentre io metto il pacchetto nell’albero locale: nel caso dell’albero locale (e di quello principale) è necessario aggiornare il database con
`mktexlsr`
(che, penso, sia equivalente a texhash).Scusate il messaggio improprio…
No, il messaggio non è per niente improprio. Nella guida parlo appunto dell’albero personale proprio perché non richede alcun aggiornamento del database (a proposito, texhash è solo un alias, il programma è mktexlsr).
In definitiva, credo che un utente “normale” dovrebbe toccare solo l’albero personale, lasciando stare gli altri. Tu che ne dici?
Colgo l’occasione per comunicare che, per la prima volta da quando l’ho scritta, questo mese l’Arte non verrà aggiornata (lo stesso vale per l’Iimpaziente). Sto lavorando con Tommaso a una revisione dell’intero documento, con l’obiettivo di perfezionarne l’italiano. Quindi ci fa comodo avere una versione “stabile” su cui lavorare. Per il prossimo aggiornamento, ne riparleremo a Natale (almeno, lo spero!). Naturalmente, continuate pure a inviarmi le vostre osservazioni: apporterò le modifiche tutte insieme, nella prossima versione.
Ciao,
L.