#!/bin/sh

if [ $# = 0 ] ; then echo "bad args"; exit 1; fi

FST=$1
DOT=${FST%%.gfst}.dot
PS=${DOT%%.dot}.ps

echo "to dot..."
gfst2dot -o $DOT $FST
echo "to ps..."
dot -Tps -o $PS  $DOT

gv $PS
