#!/bin/csh -b 
cat Makefile $1 > tmp
mv tmp $1


