e611b132f
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