#! /bin/bash

while test "$1" ; do
    ARG="$1"
    VAL="${ARG/*=}"
    case "$ARG" in 
	--prefix=*) echo "PREFIX=\"$VAL\"" ;;
	--mandir=*) echo "MANDIR=\"$VAL\"" ;;
	*) echo 1>&2 "Ignored option $ARG" ;;
    esac
    shift
done > Makefile.override
