1 # NOTE: BEGIN pattern gives errors if other than 1st line;
2 # END ditto if other than last.
3 BEGIN { print "@c ------------------------------START TEXT FROM " FILENAME }
5 # Keep /*doc* blocks (terminated by either */ or *-*/)
6 /^\/\*doc\*/,/^\*\/|^\*-\*\//
8 # Also keep two kinds of /*proto blocks
9 /^\/\*proto\*/,/^\*\/|^\*-\*\//
10 /^\/\*proto-internal\*/,/^\*\/|^\*-\*\//
12 END { print "@c ------------------------------END TEXT FROM " FILENAME }