#
# File insertion script
#

BEGIN {skip=0}

/--insert_file/ {
    print "-- inserted file: " $2; 
    system("cat " $2); 
    print "-- -----------------------------------------------------------";
    print "";
    skip = 1}

// {
     if(skip==0) {print $0};
     skip = 0
    }