You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
#!/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;
|
|
}
|