gnu/lib/libregex/doc/include.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 }