blob: 153724755de2c9af976d21b475d5509503b5cd62 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
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 "";
}
|
