#!/bin/sh
#
# A DOT to Postscript conversion script.
# Last modification: 12.3.2002
################################################################

#set file=`dirname $1`/`basename $1 .dt`
dot -Tps $1.dt -o $1.ps
