Gruppo Utilizzatori Italiani di TeX
Grazie Enrico per la tempestività e la magnifica risposta. L’abitudine ad avere un editor che facesse tutto in automatico mi aveva impedito di apprendere come era realmente la sequenza di compilazione!