Grazie Enrico, mi hai dato un ulteriore motivo per essere meno ostile ai programmi che fanno tutto…:smile:
Io posso seguire le tue indicazioni, che mi sembrano più comprensibili dei quelle di @Elrond (non ho provato, ma ho qualche dubbio; devo provare e capire meglio perché ci vedo sotto sotto una interazione fra l’editor e il programma di compilazione, tuttavia finché non o provato resto dubbioso…).
Il punto è che mi sarebbe piaciuto sfruttare l’interattività di pdfLaTeX tramite \typein[…]{…} per rendere l’operazione interattiva e indipendente dall’editing del file sorgente. Posso però trasferire questa interattività in un file bat o bash.
Enrico, ero al corrente che il nome del file di uscita è stabilito di norma dal nome del file sorgente e una volta lanciata la compilazione non si può fare più niente; speravo che il linguaggio interno di pdftex (contrariamente a quello di tex) permettesse questo genere di cose, ma la mia attenta lettura del manuale pdftex non mi aveva permesso di trovare niente, speravo che mi fosse sfuggito.
Grazie mille a tutti
Claudio