f53d67c7e8
may also be used by dvips; the package is build with some defaults, which may be not wanted by the user (the port IS_INTERACTIVE)
22 lines
368 B
Bash
22 lines
368 B
Bash
#!/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
|
|
|