From 020c80587a21a72ca8f9a503640c4234c289a19a Mon Sep 17 00:00:00 2001
From: rsc <devnull@localhost>
Date: Tue, 4 Jan 2005 21:24:19 +0000
Subject: an old saddle

---
 src/cmd/proof/mkfile | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 src/cmd/proof/mkfile

(limited to 'src/cmd/proof/mkfile')

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
-- 
cgit v1.2.3