#! /bin/sh
# Shell file to perhaps filter Mif output
#
# Edit as needed to execute filters 
#
# Inputs are:
# $1 = file to be filtered (full path, example: /usr/drf/foo.mif )
# $2 = .fminit2.0's directory
# $3 = maker's bin directory
#
