#!/bin/bash
SOURCE_DIR=`dirname $0`
if [ $# != 1 ]; then
echo "Usage: replace_header.sh <file>"
exit 1
fi
cat $SOURCE_DIR/header.template > $SOURCE_DIR/tmp
cat $1 | awk -f $SOURCE_DIR/remove_header.awk >> $SOURCE_DIR/tmp
mv $SOURCE_DIR/tmp $1