#!/bin/sh
#
#	$Id: krbdev.del,v 1.8 2002/09/17 00:32:36 tlyu Exp $
#	$Revision: 1.8 $
#	$Platforms: sun4,sgi$
# I'm not brave enough to actually destroy the database here.

rm -rf /var/rt2  /var/postgres/lib /var/postgres/bin