BEGIN {
print "texis = \\";
for(x = 1; x < ARGC; x++)
{
input[0] = ARGV[x];
print ARGV[x], "\\";
for (s = 0; s >= 0; s--)
while ((getline < input[s]) > 0)
if ($1 == "@include")
input[++s] = $2;
print $2, "\\";
}
close(input[s]);
print "";