#!/bin/sh
# Run dot to create PDF
# H. Conrad Cunningham
# Created: 2018-02-11
#
# pdf, png, svg, jpg
dot -Tpdf DFA01.gv -o DFA01.pdf
dot -Tsvg DFA01.gv -o DFA01.svg