diff options
| author | Philip Paeps <philip@FreeBSD.org> | 2018-12-30 08:13:51 +0000 |
|---|---|---|
| committer | Philip Paeps <philip@FreeBSD.org> | 2018-12-30 08:13:51 +0000 |
| commit | 00380ae2d71023dec5083d9fb3a688d8b2283dac (patch) | |
| tree | 62a3f6439375d002b2105bf31238c36f01826bc7 /leapseconds.awk | |
| parent | fa550f940d8d5c5407528a8b5618c505f31156a7 (diff) | |
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:" |