Gruppo Utilizzatori Italiani di TeX
OldClaudio” post=65869Secondo me cambiare nome NON vuol dire cambiare estensione e le motivazioni esposte da Lorenzo spiegano bene il perché.
Ecco, è proprio questo il punto!
Grazie a tutti per le delucidazioni legali… 😉