Doing the commit so that files can be taged.

Changed 3.0.1.7 to 3.1.0 in the installation instructions.

diff --git a/doc/freebsd.html b/doc/freebsd.html
index cd1ff910d39025f39f2b02d2dd516295e381dbe9..f0547d88693594d6ed59584e70b007c4577dd5f6 100755 (executable)
--- a/doc/freebsd.html
+++ b/doc/freebsd.html
@@ -19,16 +19,16 @@ Instructions for installing Splint using the FreeBSD binary installation:
 
 <li> Download
 <a
-href="http://www.splint.org/downloads/binaries/splint-3.0.1.7.FreeBSD.tgz"><em>
-http://www.splint.org/downloads/binaries/splint-3.0.1.7.FreeBSD.tgz
+href="http://www.splint.org/downloads/binaries/splint-3.1.0.FreeBSD.tgz"><em>
+http://www.splint.org/downloads/binaries/splint-3.1.0.FreeBSD.tgz
 </em></a>
 <p>
 
 <p>
-<li> <tt>tar -xzf splint-3.0.1.7.FreeBSD.tgz</tt>
+<li> <tt>tar -xzf splint-3.1.0.FreeBSD.tgz</tt>
 <blockquote>
-This will create a splint-3.0.1.7 directory, containing several
-subdirectories.   The file <tt>splint-3.0.1.7/bin/splint</tt> is the Splint binary.
+This will create a splint-3.1.0 directory, containing several
+subdirectories.   The file <tt>splint-3.1.0/bin/splint</tt> is the Splint binary.
 </blockquote>
 <p>
 
@@ -58,10 +58,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.7/lib"</em>.
+should be <em>".:base-directory/splint-3.1.0/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.7/imports</em>.
+the standard directories, this is <em>base-directory/splint-3.1.0/imports</em>.
 
 <p>
 
@@ -77,7 +77,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.7/bin/splint</tt>, or move the binary to a directory in
+<tt>splint-3.1.0/bin/splint</tt>, or move the binary to a directory in
 your command path.
 <p>
    

diff --git a/doc/linux.html b/doc/linux.html
index 2a1296616e5d57f089a4294fabe702fafe556fcd..408e726094cf907f3d2c39ca225da1eb6af889e6 100755 (executable)
--- a/doc/linux.html
+++ b/doc/linux.html
@@ -19,16 +19,16 @@ Instructions for installing Splint using the linux binary installation:
 
 <li> Download
 <a
-href="http://www.splint.org/downloads/binaries/splint-3.0.1.7.Linux.tgz"><em>
-http://www.splint.org/downloads/binaries/splint-3.0.1.7.Linux.tgz
+href="http://www.splint.org/downloads/binaries/splint-3.1.0.Linux.tgz"><em>
+http://www.splint.org/downloads/binaries/splint-3.1.0.Linux.tgz
 </em></a>
 <p>
 
 <p>
-<li> <tt>tar -xzf splint-3.0.1.7.Linux.tgz</tt>
+<li> <tt>tar -xzf splint-3.1.0.Linux.tgz</tt>
 <blockquote>
-This will create a splint-3.0.1.7 directory, containing several
-subdirectories.   The file <tt>splint-3.0.1.7/bin/splint</tt> is the Splint binary.
+This will create a splint-3.1.0 directory, containing several
+subdirectories.   The file <tt>splint-3.1.0/bin/splint</tt> is the Splint binary.
 </blockquote>
 <p>
 
@@ -59,10 +59,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.7/lib"</em>.
+should be <em>".:base-directory/splint-3.1.0/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.7/imports</em>.
+the standard directories, this is <em>base-directory/splint-3.1.0/imports</em>.
 
 <p>
 
@@ -78,7 +78,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.7/bin/splint</tt>, or move the binary to a directory in
+<tt>splint-3.1.0/bin/splint</tt>, or move the binary to a directory in
 your command path.
 <p>
    

diff --git a/doc/sunos.html b/doc/sunos.html
index 6ee521f97cfb4c21a98c14d250b616fb430689a5..6afe95a73cdb91eadb98eb1daa3ef1ec9c601f22 100755 (executable)
--- a/doc/sunos.html
+++ b/doc/sunos.html
@@ -19,16 +19,16 @@ Instructions for installing Splint using the Solaris binary installation:
 
 <li> Download
 <a
-href="http://www.splint.org/downloads/binaries/splint-3.0.1.7.SunOS.tgz"><em>
-http://www.splint.org/downloads/binaries/splint-3.0.1.7.SunOS.tgz
+href="http://www.splint.org/downloads/binaries/splint-3.1.0.SunOS.tgz"><em>
+http://www.splint.org/downloads/binaries/splint-3.1.0.SunOS.tgz
 </em></a>
 <p>
 
 <p>
-<li> <tt>tar -xzf splint-3.0.1.7.SunOS.tgz</tt>
+<li> <tt>tar -xzf splint-3.1.0.SunOS.tgz</tt>
 <blockquote>
-This will create a splint-3.0.1.7 directory, containing several
-subdirectories.   The file <tt>splint-3.0.1.7/bin/splint</tt> is the Splint binary.
+This will create a splint-3.1.0 directory, containing several
+subdirectories.   The file <tt>splint-3.1.0/bin/splint</tt> is the Splint binary.
 </blockquote>
 <p>
 
@@ -59,10 +59,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.7/lib"</em>.
+should be <em>".:base-directory/splint-3.1.0/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.7/imports</em>.
+the standard directories, this is <em>base-directory/splint-3.1.0/imports</em>.
 
 <p>
 
@@ -78,7 +78,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.7/bin/splint</tt>, or move the binary to a directory in
+<tt>splint-3.1.0/bin/splint</tt>, or move the binary to a directory in
 your command path.
 <p>
    

diff --git a/install.html b/install.html
index 2f1a7a50f9b7e43a49a95277b5d952c0ae34c927..e60411bafc0b87acc37ce2d8443a576429256939 100755 (executable)
--- a/install.html
+++ b/install.html
@@ -34,16 +34,16 @@ Instructions:
   
 <li> 
 Download
-<a href="http://www.splint.org/downloads/splint-3.0.1.7.src.tgz"><em>http://www.splint.org/downloads/splint-3.0.1.7.tgz</em></a>.
+<a href="http://www.splint.org/downloads/splint-3.1.0.src.tgz"><em>http://www.splint.org/downloads/splint-3.1.0.tgz</em></a>.
  
 </a> (the latest stable release).  
 <p>
 Copy this package to the directory where you want to build Spint.  When
-the tar file is extracted, it will create a splint-3.0.1.7 subdirectory. 
+the tar file is extracted, it will create a splint-3.1.0 subdirectory. 
 <p>
-<li><tt>tar xzf splint-3.0.1.7.src.tgz</tt> (extract files from the archive)
+<li><tt>tar xzf splint-3.1.0.src.tgz</tt> (extract files from the archive)
 <p>
-<li><tt>cd splint-3.0.1.7</tt> (enter the extracted directory)
+<li><tt>cd splint-3.1.0</tt> (enter the extracted directory)
 <p>
 <li><tt>configure</tt>
   <blockquote>
@@ -71,10 +71,10 @@ If the build was successful, it then runs the test
 suite.  You should see:
 <blockquote>
 <pre>
-Testing splint 3.0.1.7...
+Testing splint 3.1.0...
 
 Version Info:
-Splint 3.0.1.7 --- 11 Feb 2002
+Splint 3.1.0 --- 11 Feb 2002
 
 Maintainer: splint-bug@splint.org
 
@@ -112,17 +112,17 @@ configure).
 <blockquote>
 <tt>LARCH_PATH</tt> - path to search for splint libraries and
 initializations files. If you are using the standard directories, this
-should be <tt>.:<em>base-directory</em>/splint-3.0.1.7/lib</tt>.
+should be <tt>.:<em>base-directory</em>/splint-3.1.0/lib</tt>.
 <p>
 <tt>LCLIMPORTDIR</tt> - directory containing lcl imports files. If you are using
-the standard directories, this is <tt><em>base-directory</em>/splint-3.0.1.7/imports</tt>.
+the standard directories, this is <tt><em>base-directory</em>/splint-3.1.0/imports</tt>.
 </blockquote>
 Put the commands to set these variables (the actual commands will depend
 on the shell you are using) in one of your initialization dotfiles
 (usually <tt>~/.environment</tt>). 
 <p>
 Set up your <tt>PATH</tt> to include the directory containing
-<tt>splint-3.0.1.7/bin/splint</tt>, or move the binary to a directory on
+<tt>splint-3.1.0/bin/splint</tt>, or move the binary to a directory on
 your command path.
 <p>
 </blockquote>