::
Scoperto l’arcano. Nello script, per un errore, le stringhe
`! grep -q “Map MinionPro.map” $BASEDIR/web2c/updmap-local.cfg \
&& echo “Map MinionPro.map” >> $BASEDIR/web2c/updmap-local.cfg`
avevan perso le && e lo script non funzionava…
Scusate, ci ho messo un’ora per accorgermene…
M.
