#!/bin/sh

echo I am too old for autotools -- perhaps someone is interesting in putting it in?

if [ -r Makefile.in ]
then
	echo 'Writing Makefile...'
	cp Makefile.in Makefile
fi

if [ -r nonstd.h.in ]
then
	echo 'Writing nonstd.h (with mindlessness exclusion)'
	cp nonstd.h.in nonstd.h
fi