aboutsummaryrefslogtreecommitdiff
path: root/src/cmd/proof/mkfile
diff options
context:
space:
mode:
authorrsc <devnull@localhost>2005-01-04 21:24:19 +0000
committerrsc <devnull@localhost>2005-01-04 21:24:19 +0000
commit020c80587a21a72ca8f9a503640c4234c289a19a (patch)
treec59a014d358fe04e413aa6963a21e3ec87f33ad7 /src/cmd/proof/mkfile
parent24c02865d8fcc97d1fb5cb9281810d8074aa5eb1 (diff)
downloadplan9port-020c80587a21a72ca8f9a503640c4234c289a19a.tar.gz
plan9port-020c80587a21a72ca8f9a503640c4234c289a19a.tar.bz2
plan9port-020c80587a21a72ca8f9a503640c4234c289a19a.zip
an old saddle
Diffstat (limited to 'src/cmd/proof/mkfile')
-rw-r--r--src/cmd/proof/mkfile14
1 files changed, 14 insertions, 0 deletions
diff --git a/src/cmd/proof/mkfile b/src/cmd/proof/mkfile
new file mode 100644
index 00000000..c0e877be
--- /dev/null
+++ b/src/cmd/proof/mkfile
@@ -0,0 +1,14 @@
+<$PLAN9/src/mkhdr
+
+TARG=proof
+OFILES=main.$O\
+ font.$O\
+ htroff.$O\
+ screen.$O\
+
+HFILES=proof.h
+
+<$PLAN9/src/mkone
+
+$O.pout: $OFILES
+ $LD -o $O.pout -p $OFILES