Got rid of outdated mailing list information.

[splint.git] / doc / linux.html

diff --git a/doc/linux.html b/doc/linux.html
index db57e646cee0ef9aaa8f37b655644d44a06a4c70..dba8e6710529d1333096d512f1a67d861107b20c 100755 (executable)
--- a/doc/linux.html
+++ b/doc/linux.html
@@ -32,13 +32,6 @@ subdirectories.   The file <tt>splint-3.1.1/bin/splint</tt> is the Splint binary
 </blockquote>
 <p>
 
-     <li>Subscribe to the lclint-announce mailing list by sending a message
-to <a
-href="mailto:majordomo@virginia.edu"><em>majordomo@virginia.edu</em></a>
-containing the body:
-<pre>
-     subscribe lclint-announce
-     </pre>
 </ol>
 
 To install Splint binaries and libraries in a different directory (optional):