@@ -10,6 +10,15 @@

[userv.git] / debian / prerm

diff --git a/debian/prerm b/debian/prerm
index bab57073c4a083a3747f95b9815505fa16fe3bce..cfb68f1ee006b6cebf6f4c6dd0a4e4242eea996c 100644 (file)
--- a/debian/prerm
+++ b/debian/prerm
@@ -1,3 +1,8 @@
 #!/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
+