diff options
Diffstat (limited to 'r-doc-scripts/r-doc-info.prerm')
| -rw-r--r-- | r-doc-scripts/r-doc-info.prerm | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/r-doc-scripts/r-doc-info.prerm b/r-doc-scripts/r-doc-info.prerm deleted file mode 100644 index 95be602..0000000 --- a/r-doc-scripts/r-doc-info.prerm +++ /dev/null @@ -1,25 +0,0 @@ -#!/bin/sh -# -# prerm script for the Debian GNU/Linux r-doc-info package -# This version written by Dirk Eddelbuettel <edd@debian.org> - -set -e - -#DEBHELPER# - -case "$1" in - remove|purge) - install-info --quiet --remove R-FAQ - install-info --quiet --remove R-admin - install-info --quiet --remove R-data - install-info --quiet --remove R-exts - install-info --quiet --remove R-intro - install-info --quiet --remove R-ints - install-info --quiet --remove R-lang - ;; - upgrade|abort-upgrade|abort-remove|abort-deconfigure) - ;; - *) - echo "prerm called with unknown argument \`$1'" >&2 - ;; -esac |