X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/6e3f87f611bdb780419e12653cbf1214168f9faa..91b588dea2cd9d465b092f5a934ebf1638f79253:/doc/linux.html

diff --git a/doc/linux.html b/doc/linux.html
index 67f3375..dba8e67 100755
--- a/doc/linux.html
+++ b/doc/linux.html
@@ -19,26 +19,19 @@ Instructions for installing Splint using the linux binary installation:
 
 <li> Download
 <a
-href="http://www.splint.org/downloads/binaries/splint-3.0.1.6.Linux.tgz"><em>
-http://www.splint.org/downloads/binaries/splint-3.0.1.6.Linux.tgz
+href="http://www.splint.org/downloads/binaries/splint-3.1.1.Linux.tgz"><em>
+http://www.splint.org/downloads/binaries/splint-3.1.1.Linux.tgz
 </em></a>
 <p>
 
 <p>
-<li> <tt>tar -xzf splint-3.0.1.6.Linux.tgz</tt>
+<li> <tt>tar -xzf splint-3.1.1.Linux.tgz</tt>
 <blockquote>
-This will create a splint-3.0.1.6 directory, containing several
-subdirectories.   The file <tt>splint-3.0.1.6/bin/splint</tt> is the Splint binary.
+This will create a splint-3.1.1 directory, containing several
+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):
@@ -59,10 +52,10 @@ GNU's make utility is required; it may be named
 <blockquote>
 <tt>LARCH_PATH</tt> - path to search for splint libraries and
 initializations files. If you are using the standard directories, this
-should be <em>".:base-directory/splint-3.0.1.6/lib"</em>.
+should be <em>".:base-directory/splint-3.1.1/lib"</em>.
 <p>
 <tt>LCLIMPORTDIR</tt> - directory containing lcl imports files. If you are using
-the standard directories, this is <em>base-directory/splint-3.0.1.6/imports</em>.
+the standard directories, this is <em>base-directory/splint-3.1.1/imports</em>.
 
 <p>
 
@@ -78,7 +71,7 @@ on the shell you are using) in one of your initialization dotfiles
 (usually <tt>~/.environment</tt>). 
 <p>
 Set up your command path to include the directory containing
-<tt>splint-3.0.1.6/bin/splint</tt>, or move the binary to a directory in
+<tt>splint-3.1.1/bin/splint</tt>, or move the binary to a directory in
 your command path.
 <p>