1 020c8058 2005-01-04 devnull <$PLAN9/src/mkhdr
3 020c8058 2005-01-04 devnull TARG=proof
4 020c8058 2005-01-04 devnull OFILES=main.$O\
6 020c8058 2005-01-04 devnull htroff.$O\
7 020c8058 2005-01-04 devnull screen.$O\
9 020c8058 2005-01-04 devnull HFILES=proof.h
11 020c8058 2005-01-04 devnull <$PLAN9/src/mkone
13 020c8058 2005-01-04 devnull $O.pout: $OFILES
14 020c8058 2005-01-04 devnull $LD -o $O.pout -p $OFILES