#!/bin/csh -f

dot -Tps ${1} -o ${1}.ps
echo     Generated a PS format file: ${1}.ps