blob: 2149add34d405f688a5991b919cedd2e9e7d513e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
#!/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
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
|
