print/xdvi/pkg-deinstall


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

#!/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