From a9e731d09095a82bdc03c694c32f5631f399f28c Mon Sep 17 00:00:00 2001
From: ceriel <none@none>
Date: Thu, 11 Nov 1993 12:02:20 +0000
Subject: [PATCH] Added proto.make

---
 doc/lint/proto.make  | 24 ++++++++++++++++++++++++
 doc/occam/proto.make | 32 ++++++++++++++++++++++++++++++++
 2 files changed, 56 insertions(+)
 create mode 100644 doc/lint/proto.make
 create mode 100644 doc/occam/proto.make

diff --git a/doc/lint/proto.make b/doc/lint/proto.make
new file mode 100644
index 000000000..47a6eb1d2
--- /dev/null
+++ b/doc/lint/proto.make
@@ -0,0 +1,24 @@
+# $Header$
+
+#PARAMS         do not remove this line!
+
+SRC_DIR = $(SRC_HOME)/doc/lint
+
+FP =	$(SRC_DIR)/frontpage
+
+DOC =	$(SRC_DIR)/abstract \
+	$(SRC_DIR)/contents \
+	$(SRC_DIR)/chap1 \
+	$(SRC_DIR)/chap2 \
+	$(SRC_DIR)/chap3 \
+	$(SRC_DIR)/chap4 \
+	$(SRC_DIR)/chap5 \
+	$(SRC_DIR)/chap6 \
+	$(SRC_DIR)/chap7 \
+	$(SRC_DIR)/chap8 \
+	$(SRC_DIR)/chap9 \
+	$(SRC_DIR)/appendix_A \
+	$(SRC_DIR)/appendix_B
+
+$(TARGET_HOME)/doc/lint.doc:	$(FP) $(DOC)
+	cat $(FP) $(DOC) > $(TARGET_HOME)/doc/lint.doc
diff --git a/doc/occam/proto.make b/doc/occam/proto.make
new file mode 100644
index 000000000..8f197b6f4
--- /dev/null
+++ b/doc/occam/proto.make
@@ -0,0 +1,32 @@
+# $Header$
+
+#PARAMS         do not remove this line!
+
+SRC_DIR = $(SRC_HOME)/doc/occam
+
+FILES=	$(SRC_DIR)/p0 \
+	$(SRC_DIR)/p1 \
+	$(SRC_DIR)/p2 \
+	$(SRC_DIR)/p3 \
+	$(SRC_DIR)/p4 \
+	$(SRC_DIR)/p5 \
+	$(SRC_DIR)/p6 \
+	$(SRC_DIR)/p7 \
+	$(SRC_DIR)/p8 \
+	$(SRC_DIR)/p9
+
+PIC=pic
+EQN=eqn
+TBL=tbl
+
+$(TARGET_HOME)/doc/occam.doc:	$(FILES) channel.h.t channel.c.t
+	soelim $(FILES) | $(PIC) | $(TBL) | $(EQN) > $@
+
+channel.h.t:	$(SRC_HOME)/h/ocm_chan.h
+	$(SRC_DIR)/ctot <$(SRC_HOME)/h/ocm_chan.h >channel.h.t
+
+channel.c.t:	channel.c
+	$(SRC_DIR)/ctot <channel.c >channel.c.t
+
+channel.c:	$(SRC_HOME)/lang/occam/lib/tail_ocm.a
+	$(UTIL_HOME)/bin/arch x $(SRC_HOME)/lang/occam/lib/tail_ocm.a channel.c