X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/f6753ca7324b8b367b49a83666614bafaf62d9df..a193690925d356f36267797637c7bc847ab9b8b0:/doc/sunos.html 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:
-
-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.