dtimep, MACHINES

[nmh] / docs / Makefile.in

diff --git a/docs/Makefile.in b/docs/Makefile.in
index 93c3ab55c22036141292bf74b26408060926f3cf..768eb85194f24c362989a0c58d9ac876fea9482c 100644 (file)
--- a/docs/Makefile.in
+++ b/docs/Makefile.in
@@ -29,6 +29,8 @@ install:
 
 uninstall:
 
 
 uninstall:
 

+lint:
+

 # ========== DEPENDENCIES FOR CLEANUP ==========
 
 mostlyclean:
 # ========== DEPENDENCIES FOR CLEANUP ==========
 
 mostlyclean: