diff options
-rw-r--r-- | bin/rfct.awk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/rfct.awk b/bin/rfct.awk index 2f0cc42d..ac8a2a87 100644 --- a/bin/rfct.awk +++ b/bin/rfct.awk @@ -4,5 +4,5 @@ BEGIN { RS = "" } # 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 } +# alphanumeric character and no pagebreak (^L, 0x0C) characters +/[a-zA-Z0-9]/ && !// { printf "%s\n\n", $0 } |