#!/bin/sh
# generic configure
prefix="/usr/local"
if [ "$1" != "" ]; then
	prefix1="${1#--prefix=}"
	if [ "$prefix1" != "$1" ]; then
		prefix="$prefix1"
	fi
fi
rm -f Make.conf .Make.conf
< Make.conf.in sed 's,^\(realprefix=\).*,\1'"$prefix"',; s,^\(srcdir=\).*,\1'"$PWD"',' > .Make.conf
ln -s .Make.conf Make.conf
