#
# Any line of the source file can be one of the following macros :
# [@include(File)]    : Includes the file 'File'
#

/^\[@include\(.+\)\]/ \
{
  sub(/^\[@include\(/,"")
  sub(/\)\]/,"")
  NewFileName = $0
  system("gawk -f inclsrc.awk -v Nested=" Nested+1 " -- " NewFileName)
  next
}

{
  print
}