slackbuilds_ponce/development/splint/doinst.sh

8 lines
213 B
Bash
Raw Normal View History

2010-05-11 14:05:53 +02:00
# 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