#!/bin/sh
##
#
# (C) Roger Gammans 2001 (rgammans@computer-surgery.co.uk).
#
# Please distribute under the GPL.
#
# It's probably better to rely on the $PATH
# to find the various external bits as they more likey
# to be in it somewhere than one particluar location
# over many unices.
#

HOST=`hostname`;
PID=$$;
USER=`whoami`;

FNAME=/tmp/$HOST-$USER-$PID;
ORIG=$1
PATCH=$2

shift 2

cp $ORIG $FNAME;
if patch $* $FNAME  < $PATCH; then mgdiff $ORIG $FNAME; fi

rm -f $FNAME