- finalize.
[ginac.git] / debian / libginac-dev.prerm
index b5c1daed8e8cee44f7f245011ba67c96f33e9e2d..5b5fc90340def039a4d4cdc8ec6040777269cdb9 100644 (file)
@@ -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