* Streamlining by Peter Eisentraut <petere@debian.org>.

[ginac.git] / debian / libginac-dev.prerm

diff --git a/debian/libginac-dev.prerm b/debian/libginac-dev.prerm
deleted file mode 100644 (file)
index 5b5fc90..0000000
--- a/debian/libginac-dev.prerm
+++ /dev/null
@@ -1,17 +0,0 @@
-#!/bin/sh -e
-
-case "$1" in
-    remove|upgrade|deconfigure)
-        install-info --quiet --remove /usr/share/info/ginac.info
-        ;;
-    failed-upgrade)
-        ;;
-    *)
-        echo "prerm called with unknown argument \`$1'" >&2
-        exit 0
-    ;;
-esac
-
-#DEBHELPER#
-
-exit 0