1: BEGIN {
    2:     print "texis = \\";
    3:     for(x = 1; x < ARGC; x++)
    4:     {
    5:         input[0] = ARGV[x];
    6:         print ARGV[x], "\\";
    7:         for (s = 0; s >= 0; s--)
    8:         {
    9:             while ((getline < input[s]) > 0)
   10:             {
   11:                 if ($1 == "@include")
   12:                 {
   13:                     input[++s] = $2;
   14:                     print $2, "\\";
   15:                 }
   16:             }
   17:             close(input[s]);
   18:         }
   19:     }
   20:     print "";
   21: }