Added lint

diff --git a/doc/.distr b/doc/.distr
index 5b75f14..8611392 100644 (file)
--- a/doc/.distr
+++ b/doc/.distr
@@ -28,3 +28,4 @@ occam
 int
 ceg
 sparc
+lint

diff --git a/doc/Makefile b/doc/Makefile
index 061c245..a14ac3b 100644 (file)
--- 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