blob: 290b365ea873cc4280f8db5b1d744694e4d408ce (
plain) (
blame)
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 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
|
