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 93c3ab5..768eb85 100644 (file)
--- a/docs/Makefile.in
+++ b/docs/Makefile.in
@@ -29,6 +29,8 @@ install:
 
 uninstall:
 
+lint:
+
 # ========== DEPENDENCIES FOR CLEANUP ==========
 
 mostlyclean: