make.awk


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17


/^##include\s\w+/ {
  while ((getline line < $2) > 0)
    print line;
  close($2);
  next;
}

/^##insert\s+\w+/ {
  sub(/^##insert\s*/, "");
  if (NF > 0)
    system($0);
  next;
}

// { print }