MAKEFILES="makefile lib/makefile gsi/makefile gsc/makefile check/makefile doc/makefile misc/makefile"

rm -f configur
echo > configur
rm -f config.status
echo > config.status

for mf in $MAKEFILES
do
  if [ -n "${WINDOWED-}" ]; then
    sed -f misc/conf_win.sed $mf.in > $mf
  else
    if [ -n "${CPLUSPLUS-}" ]; then
      sed -f misc/conf_wpp.sed $mf.in > $mf
    else
      sed -f misc/conf_wat.sed $mf.in > $mf
    fi
  fi
done