summaryrefslogtreecommitdiff
path: root/print/xdvi/pkg-deinstall
blob: 2149add34d405f688a5991b919cedd2e9e7d513e (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
#!/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