#! /bin/sh
# prerm script for root-cint
#
# see: dh_installdeb(1)

set -e

if [ "$1" != "upgrade" ]
then
	update-alternatives --remove cint @prefix@/bin/cint.root
	update-alternatives --remove makecint @prefix@/bin/makecint.root
fi

# dh_installdeb will replace this with shell code automatically
# generated by other debhelper scripts.

#DEBHELPER#

exit 0