#!/bin/sh

set -e

if [ "$1" = "upgrade" ] || [ "$1" = "install" ] ; then
    dpkg-divert --package ptools --divert /usr/bin/gcore.gdb --rename /usr/bin/gcore
    dpkg-divert --package ptools --divert /usr/share/man/man1/gcore.gdb.1.gz --rename /usr/share/man/man1/gcore.1.gz
fi

#DEBHELPER#

exit 0