echo -- processing $1.jgr -- 
echo y | rm $1.ps                # remove the old one
jgraph -P $1.jgr > $1.ps         # parse .jgr and create .ps
ps2pdf $1.ps $1.ps.pdf           # .ps -> .pdf
echo -- done --