From 59a4360f02565d806d4bbd486cfdb5984b726db4 Mon Sep 17 00:00:00 2001 From: drl7x Date: Sat, 1 Mar 2003 21:29:31 +0000 Subject: [PATCH] Changed 3.0.1.6 to 3.0.1.7 for /doc --- doc/freebsd.html | 16 ++++++++-------- doc/linux.html | 16 ++++++++-------- doc/sunos.html | 16 ++++++++-------- 3 files changed, 24 insertions(+), 24 deletions(-) diff --git a/doc/freebsd.html b/doc/freebsd.html index dbf07fc..cd1ff91 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.6.FreeBSD.tgz +href="http://www.splint.org/downloads/binaries/splint-3.0.1.7.FreeBSD.tgz"> +http://www.splint.org/downloads/binaries/splint-3.0.1.7.FreeBSD.tgz

    -

  • tar -xzf splint-3.0.1.6.FreeBSD.tgz +
  • tar -xzf splint-3.0.1.7.FreeBSD.tgz
    -This will create a splint-3.0.1.6 directory, containing several -subdirectories. The file splint-3.0.1.6/bin/splint is the Splint binary. +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.

    @@ -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.6/lib". +should be ".:base-directory/splint-3.0.1.7/lib".

    LCLIMPORTDIR - directory containing lcl imports files. If you are using -the standard directories, this is base-directory/splint-3.0.1.6/imports. +the standard directories, this is base-directory/splint-3.0.1.7/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.6/bin/splint, or move the binary to a directory in +splint-3.0.1.7/bin/splint, or move the binary to a directory in your command path.

    diff --git a/doc/linux.html b/doc/linux.html index 67f3375..2a12966 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.6.Linux.tgz +href="http://www.splint.org/downloads/binaries/splint-3.0.1.7.Linux.tgz"> +http://www.splint.org/downloads/binaries/splint-3.0.1.7.Linux.tgz

    -

  • tar -xzf splint-3.0.1.6.Linux.tgz +
  • tar -xzf splint-3.0.1.7.Linux.tgz
    -This will create a splint-3.0.1.6 directory, containing several -subdirectories. The file splint-3.0.1.6/bin/splint is the Splint binary. +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.

    @@ -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.6/lib". +should be ".:base-directory/splint-3.0.1.7/lib".

    LCLIMPORTDIR - directory containing lcl imports files. If you are using -the standard directories, this is base-directory/splint-3.0.1.6/imports. +the standard directories, this is base-directory/splint-3.0.1.7/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.6/bin/splint, or move the binary to a directory in +splint-3.0.1.7/bin/splint, or move the binary to a directory in your command path.

    diff --git a/doc/sunos.html b/doc/sunos.html index ae1b112..6ee521f 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.6.SunOS.tgz +href="http://www.splint.org/downloads/binaries/splint-3.0.1.7.SunOS.tgz"> +http://www.splint.org/downloads/binaries/splint-3.0.1.7.SunOS.tgz

    -

  • tar -xzf splint-3.0.1.6.SunOS.tgz +
  • tar -xzf splint-3.0.1.7.SunOS.tgz
    -This will create a splint-3.0.1.6 directory, containing several -subdirectories. The file splint-3.0.1.6/bin/splint is the Splint binary. +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.

    @@ -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.6/lib". +should be ".:base-directory/splint-3.0.1.7/lib".

    LCLIMPORTDIR - directory containing lcl imports files. If you are using -the standard directories, this is base-directory/splint-3.0.1.6/imports. +the standard directories, this is base-directory/splint-3.0.1.7/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.6/bin/splint, or move the binary to a directory in +splint-3.0.1.7/bin/splint, or move the binary to a directory in your command path.

    -- 2.45.1