1 files changed, 17 insertions, 0 deletions
diff --git a/make.awk b/make.awk
new file mode 100644
index 0000000..c6f0b37
--- /dev/null
+++ b/make.awk
@@ -0,0 +1,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 }
+