diff options
| author |   Menno Duursma | 2010-05-13 00:25:36 +0200 |
|---|---|---|
| committer |   Robby Workman | 2010-05-13 00:25:36 +0200 |
| commit | f7fdac81525a319d4afadb831f164162f5c7566c (patch) | |
| tree | e3660f2bbab13dc7df216c3c9cb862005e49764d /development/splint/README | |
| parent | 2f4b64dd758ad8311b407e2a478da4986b05cb49 (diff) | |
| download | slackbuilds-f7fdac81525a319d4afadb831f164162f5c7566c.tar.gz | |
development/splint: Updated for version 3.1.2
Diffstat (limited to 'development/splint/README')
| -rw-r--r-- | development/splint/README | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/development/splint/README b/development/splint/README index 4abaf535d3..7e2da67c9e 100644 --- a/development/splint/README +++ b/development/splint/README @@ -17,6 +17,7 @@ appropriate points on the effort-benefit curve for particular projects. As different checks are turned on and more information is given in code annotations the number of bugs that can be detected increases dramatically. -This package configures splint als the default lint if no other command by -that name is encountered on the system. - +If you want splint to be used as the system default lint, then do this +after installing splint: + cd /usr/bin ; ln -s splint lint + cd /usr/man/man1 ; ln -s splint.1.gz lint.1.gz |