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