Re: lanciare compilazione da shell (linux)

Grazie mille per la velocità!
Mi vado subito a consultare il man di pdflatex, per saperne di più.
Grazie di nuovo!