diff options
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/rfct.awk | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/bin/rfct.awk b/bin/rfct.awk index 53e948b2..3cd32e40 100644 --- a/bin/rfct.awk +++ b/bin/rfct.awk @@ -5,11 +5,6 @@ BEGIN { RS="" } -# Skip any block without at least one alphanumeric char -!/[[:alnum:]]/ { next } - -# Skip any block with a page break marker in it -/\x0c/ { next } - -# Print the block followed by two newlines -{ printf "%s\n\n", $0 } +# Print the block followed by two newlines, as long as it has at least one +# alphanumeric character and no pagebreak characters +/[a-zA-Z0-9]/ && !/\x0c/ { printf "%s\n\n", $0 } |