summaryrefslogblamecommitdiff
path: root/print/xdvi/pkg-deinstall
blob: 57c4944db74d36888ae3174bf82eccbdbc9bde05 (plain) (tree)
1
2
3
4
5
6
7
8
9
10

         




                                


          
                                                                           




                                                                       







                                                       

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