diff options
Diffstat (limited to 'leapseconds.awk')
| -rw-r--r-- | leapseconds.awk | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/leapseconds.awk b/leapseconds.awk index ea0567cd7f68..242e9d64098f 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 "# <https://ieeexplore.ieee.org/document/7909995>." + 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:" |