chiark / gitweb /
cfb68f1ee006b6cebf6f4c6dd0a4e4242eea996c
[userv.git] / prerm
1 #!/bin/sh
2 set -e
3 /etc/init.d/userv stop >/dev/null
4
5 if [ \( "$1" = "upgrade" -o "$1" = "remove" \) -a -L /usr/doc/userv ]; then
6    rm -f /usr/doc/userv
7 fi
8