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