#! /bin/sh

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

(cd test_policy; cat tp.mm | gtbl | groff $FLAGS > out.ps )
