Re: [MiKTeX] Rigenerazione DB pacchetti e aggiornamento *-bin

Credo di avere capito dove sta il problema. Il problema è gastex, un package per fare grafi o diagrammi. Infatti, quando compilo un documento in cui non c’è nel preambolo il comando \usepackage{gastex}, allora il dvi visualizza correttamente. Quando invece c’è il comando \usepackage{gastex}, allora mi fa lo scherzo del mesaggio “…cannot be render properly…”. Allora sono andato sulla pagina internet http://www.lsv.ens-cachan.fr/~gastin/gastex/gastex.html che fornisce il download gratuito di gastex e lì c’è scritto che gastex usa il ps2pdf. Ma quando provo a compilare un documento con gastex, il ps2pdf non è attivo, cioè non ci puoi cliccare sopra.