pike.git / lib / modules / Calendar.pmod / tzdata / leapseconds.awk

version» Context lines:

pike.git/lib/modules/Calendar.pmod/tzdata/leapseconds.awk:17:    print "# <https://www.eecis.udel.edu/~mills/leap.html>."    print ""    print "# The International Earth Rotation and Reference Systems Service"    print "# periodically uses leap seconds to keep UTC to within 0.9 s of UT1"    print "# (which measures the true angular orientation of the earth in space)"    print "# and publishes leap second data in a copyrighted file"    print "# <https://hpiers.obspm.fr/iers/bul/bulc/Leap_Second.dat>."    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:"    print "# Leap YEAR MON DAY 23:59:60 + R/S"    print "# or"    print "# Leap YEAR MON DAY 23:59:59 - R/S"    print ""    print "# If the leap second is Rolling (R) the given time is local time (unused here)."       monthabbr[ 1] = "Jan"