2025-04-27 07:49:33 -04:00

14 lines
189 B
Sed

s/ This sed script extracts the public sections of header files. //
/^[ ]*\/[\/\*][ ]*\$PUBLIC/!{
d
}
:x
N
s;.*\n;;
/^[ ]*\/[\/\*][ ]*\$ENDPUBLIC/!{
p
b x
}
d