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 "";

}