#!/bin/sh
# use this to bootstrap your Makefile if it gets corrupted in some way,
# or just plain needs updating.
if [ ! -f ../config/config.h ]
then
  echo copying config-dist to config.h.
  cp ../config/config-dist ../config/config.h
fi
./domakefile
