miscutils/unpage

14 lines
211 B
Plaintext
Raw Permalink Normal View History

2022-06-08 10:07:41 +00:00
#!/usr/bin/awk -f
BEGIN { HDLEN = 9; FTLEN = 3 }
NR < HDLEN - 1 { next }
/^$/ { nl++; next}
/^./ {
if (nl == HDLEN)
for (i = 0; i < FTLEN; i++)
getline;
else
while (nl--) print "";
nl = 0;
}
{ print }