X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=debian%2Flibginac-dev.prerm;h=5b5fc90340def039a4d4cdc8ec6040777269cdb9;hp=b5c1daed8e8cee44f7f245011ba67c96f33e9e2d;hb=28c80c7cbb79f49f1ac83d6d3a4fbebb612309ce;hpb=1ceb60fc13c91b65d4e5d5b5cf57d019c12d1048

diff --git a/debian/libginac-dev.prerm b/debian/libginac-dev.prerm
index b5c1daed..5b5fc903 100644
--- a/debian/libginac-dev.prerm
+++ b/debian/libginac-dev.prerm
@@ -1,4 +1,17 @@
 #!/bin/sh -e
-install-info --quiet --remove /usr/share/info/ginac.info
+
+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