From 4551038c470cd35daa64905ee79b9f6d2d869cb6 Mon Sep 17 00:00:00 2001
From: ceriel <devnull@localhost>
Date: Mon, 30 Sep 1991 17:54:44 +0000
Subject: [PATCH] Added lint

---
 doc/.distr   | 1 +
 doc/Makefile | 5 ++++-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/doc/.distr b/doc/.distr
index 5b75f14b..8611392c 100644
--- a/doc/.distr
+++ b/doc/.distr
@@ -28,3 +28,4 @@ occam
 int
 ceg
 sparc
+lint
diff --git a/doc/Makefile b/doc/Makefile
index 061c245e..a14ac3bc 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -43,6 +43,9 @@ ncg.$(SUF):	ncg.doc
 LLgen.doc:	LLgen.X
 LLgen.X:
 		cd LLgen; make "EQN="$(EQN) "TBL="$(TBL) "REFER="$(REFER) "TARGET="$(TARGET)
+lint.doc:	lint.X
+lint.X:
+		cd lint; make
 top.doc:	top.X
 top.X:
 		cd top; make "EQN="$(EQN) "TBL="$(TBL) "REFER="$(REFER) "TARGET="$(TARGET)
@@ -83,4 +86,4 @@ opr:
 
 clean:
 		-rm -f *.old $(RESFILES) *.t *.out LLgen.doc top.doc \
-			occam.doc ego.doc int.doc ceg.doc
+			occam.doc ego.doc int.doc ceg.doc lint.doc sparc.doc