#!/bin/sh

PORTNAME=${1%-*}

[ "$2" = DEINSTALL ] && cat <<***EOM
------------------------------------------------------------------------------

If you are no longer using the $PORTNAME port, then manually delete
the following directory and all its contents:

	/var/db/$PORTNAME

------------------------------------------------------------------------------
***EOM
exit 0