X-Git-Url: https://diplodocus.org/git/nmh/blobdiff_plain/98dfa6e68dd83922cddf00ebe2a986d076c250d0..55c80a0ae8453ef6c3e0fcd0fac30644945d0ef2:/docs/Makefile.in

diff --git a/docs/Makefile.in b/docs/Makefile.in
index 93c3ab55..768eb851 100644
--- a/docs/Makefile.in
+++ b/docs/Makefile.in
@@ -29,6 +29,8 @@ install:
 
 uninstall:
 
+lint:
+
 # ========== DEPENDENCIES FOR CLEANUP ==========
 
 mostlyclean: