diff options
| author | Menno Duursma <druiloor@zonnet.nl> | 2010-05-13 00:25:36 +0200 |
|---|---|---|
| committer | Robby Workman <rworkman@slackbuilds.org> | 2010-05-13 00:25:36 +0200 |
| commit | f7fdac81525a319d4afadb831f164162f5c7566c (patch) | |
| tree | e3660f2bbab13dc7df216c3c9cb862005e49764d /development/splint/doinst.sh | |
| parent | 2f4b64dd758ad8311b407e2a478da4986b05cb49 (diff) | |
development/splint: Updated for version 3.1.2
Diffstat (limited to 'development/splint/doinst.sh')
| -rw-r--r-- | development/splint/doinst.sh | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/development/splint/doinst.sh b/development/splint/doinst.sh deleted file mode 100644 index 15d8003421854..0000000000000 --- a/development/splint/doinst.sh +++ /dev/null @@ -1,7 +0,0 @@ -# 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 - |