manual/texis.awk

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