#!/bin/sh
#
# Create PNG, PDF, SVG file form dot input
dot -Tpng Infix1plus1b.gv -o Infix1plus1b.png
dot -Tpdf Infix1plus1b.gv -o Infix1plus1b.pdf
dot -Tsvg Infix1plus1b.gv -o Infix1plus1b.svg