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