diff options
Diffstat (limited to 'print/dvips/pkg-deinstall')
-rw-r--r-- | print/dvips/pkg-deinstall | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/print/dvips/pkg-deinstall b/print/dvips/pkg-deinstall deleted file mode 100644 index 93a0d61cad85..000000000000 --- a/print/dvips/pkg-deinstall +++ /dev/null @@ -1,28 +0,0 @@ -#!/bin/sh - -if [ "$2" = "POST-DEINSTALL" ]; then - exit 0 -fi - -prefix=/usr/local - -cat << END - -Installing dvips will remove $prefix/MakeTeXPK. This file may be used by -xdvi or other programs. If this is the case, you must make a backup of -this file now. - -END - -if [ -z "${PACKAGE_BUILDING}" ]; then - read -p "do you want to deinstall the package ? [y] " answ - if [ "$answ" = "" ]; then answ=y; fi -else - answ="y" -fi -case $answ in - y*|Y*) break;; - *) exit 1;; -esac - -exit 0 |