#!/bin/sh
# 
# Create PNG file form dot input
# Revised 2018-01-24
#
dot -Tpng Infix1plus1b.gv -o Infix1plus1b.png