X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/04c4d6c20c7696e574a92bc1e6759596249c76b5..62519f056032a657f554114993caed1f4ac62999:/install.html diff --git a/install.html b/install.html index a51f3e2..14580cc 100755 --- a/install.html +++ b/install.html @@ -59,13 +59,7 @@ GNU's make utility is required; it may be named It is best to do this in an emacs shell or a buffered terminal, 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
-     
+This builds Splint.

If the build was successful, it then runs the test suite. You should see: