File: prerm

package info (click to toggle)
spider 1.1-9
  • links: PTS
  • area: main
  • in suites: woody
  • size: 644 kB
  • ctags: 1,043
  • sloc: ansic: 6,251; makefile: 609; sh: 15
file content (12 lines) | stat: -rw-r--r-- 304 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
 
#!/bin/sh
set -e

if [ \( "$1" = "upgrade" -o "$1" = "remove" \) -a -L /usr/doc/spider ]; then
  rm -f /usr/doc/spider
fi

if [ \( "$1" = "upgrade" -o "$1" = "remove" \) -a -L /usr/man/man1/spider.1.gz ]; then
  rm -f /usr/man/man1/spider.1.gz
fi

if test -x /usr/bin/update-menus; then update-menus; fi