#!/bin/sh
FILE1=$1
FILE2=$2
BEGIN=$3
END=$4

# Substitute the region between BEGIN and END in FILE1 into FILE2

cat $2 | sed  -e "1,/${BEGIN}/!d" -e "/${BEGIN}/d" > tmpx
cat $1 | sed -e "/${BEGIN}/,/${END}/!d" >> tmpx
cat $2 | sed -e "/${END}/,500000!d" -e "/${END}/d" >> tmpx


