]> git.ipfire.org Git - thirdparty/glibc.git/blame - manual/texis.awk
Update miscellaneous files from upstream sources.
[thirdparty/glibc.git] / manual / texis.awk
CommitLineData
7a68c94a
UD
1BEGIN {
2 print "texis = \\";
3 for(x = 1; x < ARGC; x++)
4 {
5 input[0] = ARGV[x];
6 print ARGV[x], "\\";
7 for (s = 0; s >= 0; s--)
8 {
9 while ((getline < input[s]) > 0)
10 {
0e17ee3c 11 if ($1 == "@include")
7a68c94a
UD
12 {
13 input[++s] = $2;
14 print $2, "\\";
15 }
16 }
0e17ee3c 17 close(input[s]);
7a68c94a
UD
18 }
19 }
20 print "";
21}