[Tech] editare file postscript

[Franco Bagnoli]

Tempo fa venne una domanda su come editare un file postscript (estrarre
delle parti). 

Forse converrebbe dare un'occhiata a pstoedit, che converte un file
postscript in qualcosa che puo' essere editato piu' facilmente
(io non l'ho mai provato, comunque) 

http://www.geocities.com/SiliconValley/Network/1958/pstoedit/pstoedit.htm

-- 
Franco Bagnoli
Dipartimento di Matematica Applicata "G. Sansone"
Universita' di Firenze, Via S. Marta, 3 I-50139 Firenze, Italy
tel. +39 0554796422, fax: +39 055471787
e-mail: bagnoli@dma.unifi.it