#!/bin/sh

set -e

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

#DEBHELPER#

exit 0