#!/bin/sh
gs -sDEVICE=pswrite -dNOCACHE -sOutputFile=- -q -dbatch -dNOPAUSE -dQUIET "$2" -c quit | ps2pdf - "`echo $2 | cut -f1 -d'.'`"-nofont.pdf
