diff options
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 |