From 28c80c7cbb79f49f1ac83d6d3a4fbebb612309ce Mon Sep 17 00:00:00 2001
From: Richard Kreckel <Richard.Kreckel@uni-mainz.de>
Date: Wed, 27 Jun 2001 23:26:23 +0000
Subject: [PATCH] - finalize.

---
 debian/libginac-dev.prerm | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

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
-- 
2.44.0