#!/bin/sh
#
#  PKGDEL -- Delete an external package from the dynamic directory.


if [ -e "$1" ]; then
    rm -rf "$1"
fi

exit 0
