1BEGIN {
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}
22