diff options
-rw-r--r-- | bin/rfct.awk | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bin/rfct.awk b/bin/rfct.awk index 90cd8e0d..5ceef43f 100644 --- a/bin/rfct.awk +++ b/bin/rfct.awk @@ -6,5 +6,9 @@ BEGIN { ORS = "\n\n" } +# Skip paragraphs with ^L chars in them +# We have to be literal here due to mawk's failures +// { next } + # If there's anything left, print it length($0) |