--- leapseconds.aold 2020-01-10 20:41:20.000000000 -0700 +++ leapseconds.awk 2020-01-11 10:07:38.000000000 -0700 @@ -68,12 +68,12 @@ monthabbr[11] = "Nov" monthabbr[12] = "Dec" - # Strip trailing CR, in case the input has CRLF form a la NIST. - RS = "\r?\n" - sstamp_init() } +# Strip trailing CR, in case the input has CRLF form a la NIST. +{ sub( /\r$/, "", $0 ) } + /^#[ \t]*[Uu]pdated through/ || /^#[ \t]*[Ff]ile expires on/ { last_lines = last_lines $0 "\n" }