aboutsummaryrefslogtreecommitdiff
path: root/development/splint/doinst.sh
blob: 15d80034218547beba65c7463baf7d1cea30cb1c (plain)
1
2
3
4
5
6
7
# If we do not have a lint already:
if ! command -v lint 1> /dev/null 2> /dev/null ; then
  # Make this the default
  ( cd /usr/bin ; ln -sf splint lint )
  ( cd /usr/man/man1 ; ln -sf splint.1.gz lint.1.gz )
fi