1 # Assume `source' is set with -vsource=filename on the command line.
3 /^\[\[\[/ { inclusion = $2; # name of the thing to include.
5 while ((getline line < source) > 0)
7 if (match (line, "\\[\\[\\[end " inclusion "\\]\\]\\]"))
13 if (match (line,"\\[\\[\\[begin " inclusion "\\]\\]\\]"))