From: Richard Kreckel Date: Wed, 27 Jun 2001 23:26:23 +0000 (+0000) Subject: - finalize. X-Git-Tag: release_0-9-1^0 X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=commitdiff_plain;h=28c80c7cbb79f49f1ac83d6d3a4fbebb612309ce;hp=1ceb60fc13c91b65d4e5d5b5cf57d019c12d1048 - finalize. --- 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