diff options
Diffstat (limited to 'print/xdvi/pkg-deinstall')
| -rw-r--r-- | print/xdvi/pkg-deinstall | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/print/xdvi/pkg-deinstall b/print/xdvi/pkg-deinstall deleted file mode 100644 index 6a3fcb2b7885..000000000000 --- a/print/xdvi/pkg-deinstall +++ /dev/null @@ -1,21 +0,0 @@ -#!/bin/sh - -prefix=/usr/local - -cat << END - -Installing xdvi will remove $prefix/MakeTeXPK. This file may be used by -dvips 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 - |