chiark
/
gitweb
/
~ian
/
userv.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
debian: Use debhelper to generate maint scripts
[userv.git]
/
debian
/
prerm
diff --git
a/debian/prerm
b/debian/prerm
index cfb68f1ee006b6cebf6f4c6dd0a4e4242eea996c..ec73b4130825f6cfc991738a5012230ee1dbb7cc 100644
(file)
--- a/
debian/prerm
+++ b/
debian/prerm
@@
-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#