# 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 }