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

version» Context lines:

pike.git/lib/modules/Calendar.pmod/tzdata/leapseconds.awk:1:   # Generate the 'leapseconds' file from 'leap-seconds.list'.      # This file is in the public domain.      BEGIN {    print "# Allowance for leap seconds added to each time zone file."    print ""    print "# This file is in the public domain."    print ""    print "# This file is generated automatically from the data in the public-domain" -  print "# leap-seconds.list file available from most NIST time servers." -  print "# If the URL <ftp://time.nist.gov/pub/leap-seconds.list> does not work," -  print "# you should be able to pick up leap-seconds.list from a secondary NIST server." -  print "# See <http://tf.nist.gov/tf-cgi/servers.cgi> for a list of secondary servers." +  print "# leap-seconds.list file, which is copied from:" +  print "# ftp://ftp.nist.gov/pub/time/leap-seconds.list"    print "# For more about leap-seconds.list, please see"    print "# The NTP Timescale and Leap Seconds" -  print "# http://www.eecis.udel.edu/~mills/leap.html" +  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); see" -  print "# Terry J Quinn, The BIPM and the accurate measure of time," -  print "# Proc IEEE 79, 7 (July 1991), 894-905 <http://dx.doi.org/10.1109/5.84965>." +  print "# 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 "# http://ieeexplore.ieee.org/document/7909995/"    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 until the early 1970s."    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 ""