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