chiark / gitweb /
debian: Use debhelper to generate maint scripts
[userv.git] / debian / prerm
index cfb68f1ee006b6cebf6f4c6dd0a4e4242eea996c..ec73b4130825f6cfc991738a5012230ee1dbb7cc 100644 (file)
@@ -1,8 +1,3 @@
 #!/bin/sh
 set -e
-/etc/init.d/userv stop >/dev/null
-
-if [ \( "$1" = "upgrade" -o "$1" = "remove" \) -a -L /usr/doc/userv ]; then
-   rm -f /usr/doc/userv
-fi
-
+#DEBHELPER#