#!/bin/sh
set -e

if [ "$1" = "remove" -o "$1" = "purge" ] ; then
    if [ -d /var/spool/gt3-dcl5 ] ; then
	rmdir /var/spool/gt3-dcl5
    fi
fi


