29 Ottobre 2003 alle 17:55
#1506
::
Secondo me c’è un problema di embedding fonts: in tal caso come si fa a risolvere la faccenda???
Per amor di completezza, descrivo la soluzione al problema, che ovviamente ho ricavato leggendo:
l’insostituibile pdfHOWTO nella sezione download di guit
Se si lavora sotto Linux, niente di più semplice: basta creare nella propria home un file chiamato .dvipsrc il cui contenuto deve essere:
p +psfonts.cmz
p +psfonts.amz
e come per magia i fonts vengono inclusi nel pdf in fase di conversione.