Re: Due quesiti sul file di configurazione per microtype

Sì, c’era un errore in install.sh, lo script che ho creato per installare
“automaticamente” i font. Per quello che riguarda l’erroe di microtype,
come si può risolvere? Cancello la riga incriminata?
Poi devo capire come formare da me un file .dtx da cui trarre
il file di configurazione di microtype. Vorrei rifare tutta la procedura
“a mano” sulla base della versione 2 di Minion…

m