Got rid of outdated mailing list information.

diff --git a/doc/freebsd.html b/doc/freebsd.html
index 9ebfd6d2fecd8af5cec1e318d7f36bb8c114725f..33b99f9ba77c13cf29731d5c0c8300c13b1038b1 100755 (executable)
--- a/doc/freebsd.html
+++ b/doc/freebsd.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):

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):

diff --git a/doc/sunos.html b/doc/sunos.html
index a93b334b57ae05aedcb6dc12a941e9091b13ab06..3f9997c4290f97483bece78ab36842863c6fcdff 100755 (executable)
--- a/doc/sunos.html
+++ b/doc/sunos.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):

diff --git a/install.html b/install.html
index a51f3e2c589dae980f0e3ec6e291c166ef5aaa64..14580cc95bd4048e49aa1e0a32e01c3dcfbb249f 100755 (executable)
--- a/install.html
+++ b/install.html
@@ -59,13 +59,7 @@ GNU's make utility is required; it may be named
    It is best to do this in an emacs shell or a buffered terminal,
    so you can scroll through the output.
 <p>
-This builds Splint.  While it is building, 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>
+This builds Splint.
 <p>
 If the build was successful, it then runs the test
 suite.  You should see: