slackbuilds_ponce/development/splint/doinst.sh
2010-05-11 14:05:53 +02:00

7 lines
213 B
Bash

# 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