>From 9a58ef8d720a86f14d4eaac49a25e6b27b8e1559 Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Fri, 9 Nov 2018 21:27:40 -0800 Subject: [PROPOSED] * leapseconds.awk: Clarify the 1 Jan 1972 line. --- leapseconds.awk | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/leapseconds.awk b/leapseconds.awk index ea0567c..242e9d6 100644 --- a/leapseconds.awk +++ b/leapseconds.awk @@ -24,9 +24,12 @@ BEGIN { print "# See: Levine J. Coordinated Universal Time and the leap second." print "# URSI Radio Sci Bull. 2016;89(4):30-6. doi:10.23919/URSIRSB.2016.7909995" print "# ." + print "" print "# There were no leap seconds before 1972, because the official mechanism" print "# accounting for the discrepancy between atomic time and the earth's rotation" - print "# did not exist." + print "# did not exist. The first (\"1 Jan 1972\") data line in leap-seconds.list" + print "# does not denote a leap second; it denotes the start of the current definition" + print"# of UTC." print "" print "# The correction (+ or -) is made at the given time, so lines" print "# will typically look like:" -- 2.17.1