[PROPOSED PATCH 1/2] * Makefile (check_sorted): Fix typo in recent change.
--- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 8e0a6d7..86682ce 100644 --- a/Makefile +++ b/Makefile @@ -491,7 +491,7 @@ check_sorted: backward backzone iso3166.tab zone1970.tab $(AWK) '/^Link/ {print $$3}' backward | LC_ALL=C sort -c $(AWK) '/^Zone/ {print $$2}' backzone | LC_ALL=C sort -c $(AWK) '/^[^#]/ {print}' iso3166.tab | LC_ALL=C sort -c - $(AWK) '/^[^#]/ {print substr($0, 1, 2)}' zone1970.tab | \ + $(AWK) '/^[^#]/ {print substr($$0, 1, 2)}' zone1970.tab | \ LC_ALL=C sort -c check_tables: checktab.awk $(PRIMARY_YDATA) $(ZONETABLES) -- 1.9.1
for Chennai, Jakarta, and New York in the 19th century. --- NEWS | 3 +++ asia | 4 ++++ backzone | 5 +++++ northamerica | 6 ++++++ 4 files changed, 18 insertions(+) diff --git a/NEWS b/NEWS index 53ec202..0f3c809 100644 --- a/NEWS +++ b/NEWS @@ -29,6 +29,9 @@ Unreleased, experimental changes Gregorian calendar and Universal Time without leap seconds. (Thanks to Arthur David Olson for reporting the problem.) + Fractional-second GMT offsets have been documented for civil time + in 19th-century Chennai, Jakarta, and New York. + Release 2014g - 2014-08-28 12:31:23 -0700 diff --git a/asia b/asia index 806a8c7..0be896b 100644 --- a/asia +++ b/asia @@ -893,6 +893,10 @@ Zone Asia/Kolkata 5:53:28 - LMT 1880 # Kolkata # Indonesia # +# From Paul Eggert (2014-09-06): +# The 1876 Report of the Secretary of the [US] Navy, p 306 says that Batavia +# civil time was 7:07:12.5; round to even for Jakarta. +# # From Gwillim Law (2001-05-28), overriding Shanks & Pottenger: # http://www.sumatera-inc.com/go_to_invest/about_indonesia.asp#standtime # says that Indonesia's time zones changed on 1988-01-01. Looking at some diff --git a/backzone b/backzone index 22ac5c0..f464131 100644 --- a/backzone +++ b/backzone @@ -306,6 +306,11 @@ Zone Antarctica/McMurdo 0 - zzz 1956 Link Antarctica/McMurdo Antarctica/South_Pole # India +# +# From Paul Eggert (2014-09-06): +# The 1876 Report of the Secretary of the [US] Navy, p 305 says that Madras +# civil time was 5:20:57.3. +# # From Paul Eggert (2014-08-21): # In tomorrow's The Hindu, Nitya Menon reports that India had two civil time # zones starting in 1884, one in Bombay and one in Calcutta, and that railways diff --git a/northamerica b/northamerica index ebfe5e3..0f5ed3c 100644 --- a/northamerica +++ b/northamerica @@ -277,6 +277,12 @@ Zone PST8PDT -8:00 US P%sT # time zone, but we do go by the Eastern time zone because so many people work # in Columbus." +# From Paul Eggert (2014-09-06): +# Monthly Notices of the Royal Astronomical Society 44, 4 (1884-02-08), 208 +# says that New York City Hall time was 3 minutes 58.4 seconds fast of +# Eastern time (i.e., -4:56:01.6) just before the 1883 switch. Round to the +# nearest second. + # Rule NAME FROM TO TYPE IN ON AT SAVE LETTER Rule NYC 1920 only - Mar lastSun 2:00 1:00 D Rule NYC 1920 only - Oct lastSun 2:00 0 S -- 1.9.1
participants (1)
-
Paul Eggert