#!/bin/ksh
#
# This script reverses the installation using the install script
#
# It must reside in the top DOC directory
#

DOC_path=`whence $0` >/dev/null 2>&1
DOC_home=`dirname $DOC_path`

$DOC_home/install dummy_bin_dir no_build

here=`pwd` ; cd $DOC_home ; gmake uninstall ; cd $here
rm $DOC_home/Makefile