20 lines
645 B
Awk
20 lines
645 B
Awk
# Assume `source' is set with -vsource=filename on the command line.
|
|
#
|
|
/^\[\[\[/ { inclusion = $2; # name of the thing to include.
|
|
printing = 0;
|
|
while ((getline line < source) > 0)
|
|
{
|
|
if (match (line, "\\[\\[\\[end " inclusion "\\]\\]\\]"))
|
|
printing = 0;
|
|
|
|
if (printing)
|
|
print line;
|
|
|
|
if (match (line,"\\[\\[\\[begin " inclusion "\\]\\]\\]"))
|
|
printing = 1;
|
|
}
|
|
close (source);
|
|
next;
|
|
}
|
|
{ print }
|