#!/bin/csh 
# creation de MakefileUser.h a partir de Makefile.h

echo 'makefileuser.csh: Creating MakefileUser.h'
cat Makefile.h | awk -f makefileuser.awk >! MakefileUser.h
cat makefileuser.inc >> MakefileUser.h