#!/bin/csh -f

set line=`fgrep -n '###	INSTALLATION DEPENDENT PART	###' Makefile`
set number=`echo "$line" | awk -F: '{print $1}'`
tail "+$number" Makefile | cat "$argv[1]" -
