# check parameters
if [ "x$2" = x -o ! -d "$1" -o ! -d "$2" ]; then
echo "Syntax : $0 orig-src-dir modified-src-dir [patch-dir]"
exit 1
fi
# get parameters
ORIG_DIR=$1
MOD_DIR=$2
if [ ".$3" = "." -o ! -d "$3" ]; then
PATCH_DIR=`pwd`
else
PATCH_DIR=$3
fi
PATCH_NAME=`whoami`-`date +%y%m%d`.patch
INIT_DIR=`pwd`
# print startup message
echo "Creating patch :"
echo " original dir = $ORIG_DIR"
echo " modified dir = $MOD_DIR"
echo " patch dir = $PATCH_DIR"
echo " patch name = $PATCH_NAME"
echo "The patch will be gzipped and uuencoded."
echo
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.