X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/04c4d6c20c7696e574a92bc1e6759596249c76b5..62519f056032a657f554114993caed1f4ac62999:/doc/linux.html diff --git a/doc/linux.html b/doc/linux.html index db57e64..dba8e67 100755 --- a/doc/linux.html +++ b/doc/linux.html @@ -32,13 +32,6 @@ subdirectories. The file splint-3.1.1/bin/splint is the Splint binary

-

  • Subscribe to the lclint-announce mailing list by sending a message -to majordomo@virginia.edu -containing the body: -
    -     subscribe lclint-announce
    -     
    To install Splint binaries and libraries in a different directory (optional):