Plan 9 from Bell Labs’s /usr/web/sources/plan9/sys/src/cmd/proof/mkfile
</$objtype/mkfile TARG=proof OFILES=main.$O\ font.$O\ htroff.$O\ screen.$O\ HFILES=proof.h BIN=/$objtype/bin </sys/src/cmd/mkone $O.pout: $OFILES $LD -o $O.pout -p $OFILES