ptools/debian/ptools.postrm


1
2
3
4
5
6
7
8
9
10
11
12
13

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