blob: 3cf97fd0132c41448a3c78b3b5de9674531488d8 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
s/ This sed script extracts the public sections of header files. //
/^[ ]*\/[\/\*][ ]*\$PUBLIC/!{
d
}
:x
N
s;.*\n;;
/^[ ]*\/[\/\*][ ]*\$ENDPUBLIC/!{
p
b x
}
d
|