#! /bin/sh

FLAGS="-rB4 -rO1i -rW6.5i -mgm"

(cd inst_guide; cat inst_guide.mm app_[a-i] tbl_cnts | gtbl | groff $FLAGS > out.ps)
