repo.or.cz
/
glibc
/
history.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
(openlog_internal): Use SOCK_CLOEXEC if possible.
[glibc/history.git]
/
manual
/
texis.awk
blob
153724755de2c9af976d21b475d5509503b5cd62
1
BEGIN
{
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
{
11
if
(
$
1
==
"@include"
)
12
{
13
input
[++
s
]
= $
2
;
14
print
$
2
,
"
\\
"
;
15
}
16
}
17
close
(
input
[
s
]);
18
}
19
}
20
print
""
;
21
}