chiark / gitweb /
manpage fix is debian bugfix
[userv.git] / debian / 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