glibc/manual/texis.awk

22 lines
324 B
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[stackptr]);
}
}
print "";
}