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 lclint-announce -To install Splint binaries and libraries in a different directory (optional):