diff options
Diffstat (limited to 'print/xdvi/pkg-deinstall')
-rw-r--r-- | print/xdvi/pkg-deinstall | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/print/xdvi/pkg-deinstall b/print/xdvi/pkg-deinstall deleted file mode 100644 index 57c4944db74d..000000000000 --- a/print/xdvi/pkg-deinstall +++ /dev/null @@ -1,26 +0,0 @@ -#!/bin/sh - -prefix=%%PREFIX%% - -if [ "$2" != "DEINSTALL" ]; then - exit 0 -fi - -cat << END - -Installing xdvi will remove $prefix/bin/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 - -if [ -z ${PACKAGE_BUILDING} ]; then - 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 -fi - -exit 0 |