Browse Source

Added lint

ceriel 33 years ago
parent
commit
4551038c47
2 changed files with 5 additions and 1 deletions
  1. 1 0
      doc/.distr
  2. 4 1
      doc/Makefile

+ 1 - 0
doc/.distr

@@ -28,3 +28,4 @@ occam
 int
 ceg
 sparc
+lint

+ 4 - 1
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