chiark / gitweb /
convert to debhelper (compat mode 4); maintainer scripts no longer
[developers-reference.git] / debian / prerm
diff --git a/debian/prerm b/debian/prerm
deleted file mode 100644 (file)
index ee0dd84..0000000
+++ /dev/null
@@ -1,14 +0,0 @@
-#!/bin/sh
-
-if [ "$1" = "remove" -o "$1" = "upgrade" ]; then
-  if [ -x /usr/sbin/install-docs ]; then
-    install-docs -r developers-reference
-    install-docs -r developers-reference.fr
-    install-docs -r developers-reference.ja
-  fi
-  if [ -L /usr/doc/developers-reference ]; then
-    rm -f /usr/doc/developers-reference
-  fi
-fi
-
-exit 0