From: ceriel <none@none>
Date: Mon, 30 Sep 1991 17:54:44 +0000 (+0000)
Subject: Added lint
X-Git-Tag: release-5-5~792
X-Git-Url: https://git.ndcode.org/public/gitweb.cgi?a=commitdiff_plain;h=eba26ad2e626a2f25818b35115d8975078b4f6d6;p=ack.git

Added lint
---

diff --git a/doc/.distr b/doc/.distr
index 5b75f14b2..8611392c2 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 061c245e1..a14ac3bc9 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