diff options
Diffstat (limited to 'setedit/debian/setedit.prerm')
| -rw-r--r-- | setedit/debian/setedit.prerm | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/setedit/debian/setedit.prerm b/setedit/debian/setedit.prerm deleted file mode 100644 index f66e802..0000000 --- a/setedit/debian/setedit.prerm +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/sh -# The following isn't necessary for an upgrade... -if [ $1 != "upgrade" ] ; then - update-alternatives --remove editor /usr/bin/setedit - install-info --quiet --remove setedit -fi - -# We have to remove the installation configuration file in case of a purge: -cfgfile="/usr/share/setedit/install.log" -if [ "$1" = "purge" -a -e $cfgfile ]; then - rm -f $cfgfile -fi - -#DEBHELPER# |