diff options
Diffstat (limited to 'print/dvips/pkg-deinstall')
| -rw-r--r-- | print/dvips/pkg-deinstall | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/print/dvips/pkg-deinstall b/print/dvips/pkg-deinstall deleted file mode 100644 index 290b365ea873..000000000000 --- a/print/dvips/pkg-deinstall +++ /dev/null @@ -1,21 +0,0 @@ -#!/bin/sh - -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 - -echo -n "do you want to deinstall the package ? [y] " -read answ; if [ "$answ" = "" ]; then answ=y; fi -case $answ in - y*|Y*) break;; - *) exit 1;; -esac - -exit 0 - |