From: drl7x Date: Mon, 21 Apr 2003 20:20:27 +0000 (+0000) Subject: Doing the commit so that files can be taged. X-Git-Tag: splint-3_1_0 X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/a193690925d356f36267797637c7bc847ab9b8b0 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 cd1ff91..f0547d8 100755 --- a/doc/freebsd.html +++ b/doc/freebsd.html @@ -19,16 +19,16 @@ Instructions for installing Splint using the FreeBSD binary installation:
  • Download -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"> +http://www.splint.org/downloads/binaries/splint-3.1.0.FreeBSD.tgz

    -

  • tar -xzf splint-3.0.1.7.FreeBSD.tgz +
  • tar -xzf splint-3.1.0.FreeBSD.tgz
    -This will create a splint-3.0.1.7 directory, containing several -subdirectories. The file splint-3.0.1.7/bin/splint is the Splint binary. +This will create a splint-3.1.0 directory, containing several +subdirectories. The file splint-3.1.0/bin/splint is the Splint binary.

    @@ -58,10 +58,10 @@ GNU's make utility is required; it may be named

    LARCH_PATH - path to search for splint libraries and initializations files. If you are using the standard directories, this -should be ".:base-directory/splint-3.0.1.7/lib". +should be ".:base-directory/splint-3.1.0/lib".

    LCLIMPORTDIR - directory containing lcl imports files. If you are using -the standard directories, this is base-directory/splint-3.0.1.7/imports. +the standard directories, this is base-directory/splint-3.1.0/imports.

    @@ -77,7 +77,7 @@ on the shell you are using) in one of your initialization dotfiles (usually ~/.environment).

    Set up your command path to include the directory containing -splint-3.0.1.7/bin/splint, or move the binary to a directory in +splint-3.1.0/bin/splint, or move the binary to a directory in your command path.

    diff --git a/doc/linux.html b/doc/linux.html index 2a12966..408e726 100755 --- a/doc/linux.html +++ b/doc/linux.html @@ -19,16 +19,16 @@ Instructions for installing Splint using the linux binary installation:

  • Download -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"> +http://www.splint.org/downloads/binaries/splint-3.1.0.Linux.tgz

    -

  • tar -xzf splint-3.0.1.7.Linux.tgz +
  • tar -xzf splint-3.1.0.Linux.tgz
    -This will create a splint-3.0.1.7 directory, containing several -subdirectories. The file splint-3.0.1.7/bin/splint is the Splint binary. +This will create a splint-3.1.0 directory, containing several +subdirectories. The file splint-3.1.0/bin/splint is the Splint binary.

    @@ -59,10 +59,10 @@ GNU's make utility is required; it may be named

    LARCH_PATH - path to search for splint libraries and initializations files. If you are using the standard directories, this -should be ".:base-directory/splint-3.0.1.7/lib". +should be ".:base-directory/splint-3.1.0/lib".

    LCLIMPORTDIR - directory containing lcl imports files. If you are using -the standard directories, this is base-directory/splint-3.0.1.7/imports. +the standard directories, this is base-directory/splint-3.1.0/imports.

    @@ -78,7 +78,7 @@ on the shell you are using) in one of your initialization dotfiles (usually ~/.environment).

    Set up your command path to include the directory containing -splint-3.0.1.7/bin/splint, or move the binary to a directory in +splint-3.1.0/bin/splint, or move the binary to a directory in your command path.

    diff --git a/doc/sunos.html b/doc/sunos.html index 6ee521f..6afe95a 100755 --- a/doc/sunos.html +++ b/doc/sunos.html @@ -19,16 +19,16 @@ Instructions for installing Splint using the Solaris binary installation:

  • Download -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"> +http://www.splint.org/downloads/binaries/splint-3.1.0.SunOS.tgz

    -

  • tar -xzf splint-3.0.1.7.SunOS.tgz +
  • tar -xzf splint-3.1.0.SunOS.tgz
    -This will create a splint-3.0.1.7 directory, containing several -subdirectories. The file splint-3.0.1.7/bin/splint is the Splint binary. +This will create a splint-3.1.0 directory, containing several +subdirectories. The file splint-3.1.0/bin/splint is the Splint binary.

    @@ -59,10 +59,10 @@ GNU's make utility is required; it may be named

    LARCH_PATH - path to search for splint libraries and initializations files. If you are using the standard directories, this -should be ".:base-directory/splint-3.0.1.7/lib". +should be ".:base-directory/splint-3.1.0/lib".

    LCLIMPORTDIR - directory containing lcl imports files. If you are using -the standard directories, this is base-directory/splint-3.0.1.7/imports. +the standard directories, this is base-directory/splint-3.1.0/imports.

    @@ -78,7 +78,7 @@ on the shell you are using) in one of your initialization dotfiles (usually ~/.environment).

    Set up your command path to include the directory containing -splint-3.0.1.7/bin/splint, or move the binary to a directory in +splint-3.1.0/bin/splint, or move the binary to a directory in your command path.

    diff --git a/install.html b/install.html index 2f1a7a5..e60411b 100755 --- a/install.html +++ b/install.html @@ -34,16 +34,16 @@ Instructions:

  • Download -http://www.splint.org/downloads/splint-3.0.1.7.tgz. +http://www.splint.org/downloads/splint-3.1.0.tgz. (the latest stable release).

    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.

    -

  • tar xzf splint-3.0.1.7.src.tgz (extract files from the archive) +
  • tar xzf splint-3.1.0.src.tgz (extract files from the archive)

    -

  • cd splint-3.0.1.7 (enter the extracted directory) +
  • cd splint-3.1.0 (enter the extracted directory)

  • configure
    @@ -71,10 +71,10 @@ If the build was successful, it then runs the test suite. You should see: 
    -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).
 
    
 LARCH_PATH - path to search for splint libraries and
 initializations files. If you are using the standard directories, this
-should be .:base-directory/splint-3.0.1.7/lib.
+should be .:base-directory/splint-3.1.0/lib.
 
    
 LCLIMPORTDIR - directory containing lcl imports files. If you are using
-the standard directories, this is base-directory/splint-3.0.1.7/imports.
+the standard directories, this is base-directory/splint-3.1.0/imports.
 
    
 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 ~/.environment). 
 
    
 Set up your PATH to include the directory containing
-splint-3.0.1.7/bin/splint, or move the binary to a directory on
+splint-3.1.0/bin/splint, or move the binary to a directory on
 your command path.