From 137e4ed9d74891349de1b0da1e0cf2653ea92c5e Mon Sep 17 00:00:00 2001 From: Max Mahn Date: Wed, 20 May 2026 09:23:50 -0400 Subject: initial commit --- make.awk | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 make.awk (limited to 'make.awk') 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 } + -- cgit v1.2.3