added lint targets for Makefiles and a configure test to find whether lclint or lint...

[mmh] / docs / Makefile.in

diff --git a/docs/Makefile.in b/docs/Makefile.in
index 61e9f59..768eb85 100644 (file)
--- a/docs/Makefile.in
+++ b/docs/Makefile.in
@@ -12,8 +12,8 @@ VPATH  = @srcdir@
 # header files included in distribution
 FILES = COMPLETION-TCSH COMPLETION-ZSH ChangeLog_MH-3_to_MH-6.6 \
         ChangeLog_MH-6.7.0_to_MH-6.8.4.html DIFFERENCES FAQ \
-        MAIL.FILTERING MAILING-LISTS Makefile.in \
-        README.developers README.history TODO 
+        MAIL.FILTERING MAILING-LISTS README.about \
+        README.developers TODO 
 
 # auxiliary files
 AUX = Makefile.in
@@ -29,6 +29,8 @@ install:
 
 uninstall:
 
+lint:
+
 # ========== DEPENDENCIES FOR CLEANUP ==========
 
 mostlyclean: