22 Giugno 2007 alle 17:17
#15333
::
ho fatto un’altra prova che dovrebbe restringere di molto il campo… ho creato un nuovo utente generico e provato a ricompilare lo stesso file: tempi di compilazione molto bassi!
viene memorizzata qualche impostazione riguardo gli utenti in file non nella cartella home?
Direi di no. Prova a rinominare .texmf-var nella tua home e vedere che succede.
Ciao
Enrico