X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/36ba812de31bd9bd9a8f323e44f42c28576b5879..HEAD:/install.html diff --git a/install.html b/install.html index a51f3e2..e4ff5fe 100755 --- a/install.html +++ b/install.html @@ -60,12 +60,8 @@ GNU's make utility is required; it may be named so you can scroll through the output.

This builds Splint. While it is building, subscribe to the -lclint-announce mailing list by sending a message to majordomo@virginia.edu -containing the body: -

-     subscribe lclint-announce
-     
+splint-announce mailing list by visiting +http://www.splint.org/lists.html

If the build was successful, it then runs the test suite. You should see: @@ -75,7 +71,6 @@ Testing splint 3.1.1... Version Info: Splint 3.1.1 --- 11 Feb 2002 - Maintainer: splint-bug@splint.org ... (about 100 lines of test output elided)