16 lines
286 B
Awk
16 lines
286 B
Awk
#!/usr/bin/awk -f
|
|
BEGIN {
|
|
inman=0;
|
|
bar="\n\n--------------------------------------------------------------------------\n";
|
|
}
|
|
{
|
|
if (inman) {
|
|
if ($0 ~ /^\*\*man-end/) {
|
|
inman=0;
|
|
print bar;
|
|
} else
|
|
print;
|
|
} else if ($0 ~ /^\/\*man-start\*/)
|
|
inman=1;
|
|
}
|