* time/africa, time/asia, time/europe, time/northamerica,

	time/yearistype: New data from ADO 95h.

1 files changed, 14 insertions, 8 deletions

diff --git a/time/africa b/time/africa
index a9786670b5..11c2008aab 100644
--- a/time/africa
+++ b/time/africa
@@ -1,4 +1,4 @@
-# @(#)africa	7.6
+# @(#)africa	7.7
 
 # This data is by no means authoritative; if you think you know better,
 # go ahead and edit the file (and please send any changes to
@@ -15,6 +15,10 @@
 # Whitman Publishing Co, 2 Niagara Av, Ealing, London (undated), which
 # I found in the UCLA library.
 #
+# A reliable and entertaining source about time zones is
+# Derek Howse, Greenwich time and the discovery of the longitude,
+# Oxford University Press (1980).
+#
 # I added so many Zone names that the old, mostly flat name space was unwieldy.
 # So I renamed the Zones to have the form AREA/LOCATION, where
 # AREA is the name of a continent or ocean, and
@@ -95,10 +99,10 @@ Rule	Algeria	1978	only	-	Mar	24	 1:00	1:00	" DST"
 Rule	Algeria	1978	only	-	Sep	22	 3:00	0	-
 Rule	Algeria	1980	only	-	Apr	25	 0:00	1:00	" DST"
 Rule	Algeria	1980	only	-	Oct	31	 2:00	0	-
-# Shanks gives 0:09 for Paris Mean Time; go with Whitman's more precise 0:09:05.
+# Shanks gives 0:09 for Paris Mean Time; go with Howse's more precise 0:09:21.
 # Zone	NAME		GMTOFF	RULES	FORMAT	[UNTIL]
 Zone	Africa/Algiers	0:12:12 -	LMT	1891 Mar 15 0:01
-			0:09:05	-	PMT	1911 Mar 11    # Paris Mean Time
+			0:09:21	-	PMT	1911 Mar 11    # Paris Mean Time
 			0:00	Algeria	WET%s	1940 Feb 25 2:00
 			1:00	Algeria	MET%s	1946 Oct  7
 			0:00	-	WET	1956 Jan 29
@@ -303,9 +307,10 @@ Zone	Africa/Maseru	1:50:00 -	LMT	1903 Mar
 # From Paul Eggert <eggert@twinsun.com> (November 18, 1993):
 # In 1972 Liberia was the last country to switch
 # from a GMT offset that was not a multiple of 15 minutes.
-# Time magazine reported that it was in honor of their leader's birthday.
-# For Liberia before 1972, Shanks reports -0:44, and Whitman reports -0:44:30;
-# go with Whitman.
+# Howse reports that it was in honor of their president's birthday.
+# Shanks reports the date as May 1, whereas Howse reports Jan; go with Shanks.
+# For Liberia before 1972, Shanks reports -0:44, whereas Howse and Whitman
+# each report -0:44:30; go with the more precise figure.
 #
 # From Shanks (1991), as corrected by Whitman:
 # Zone	NAME		GMTOFF	RULES	FORMAT	[UNTIL]
@@ -571,10 +576,11 @@ Rule	Tunisia	1988	max	-	Sep	lastSun	 0:00s	0	-
 Rule	Tunisia	1989	only	-	Mar	26	 0:00s	1:00	" DST"
 Rule	Tunisia	1990	only	-	May	 1	 0:00s	1:00	" DST"
 Rule	Tunisia	1991	max	-	Mar	lastSun	 0:00s	1:00	" DST"
-# Shanks gives 0:09 for Paris Mean Time; go with Whitman's more precise 0:09:05.
+# Shanks gives 0:09 for Paris Mean Time; go with Howse's more precise 0:09:21.
+# Shanks says the 1911 switch occurred on Mar 9; go with Howse's Mar 11.
 # Zone	NAME		GMTOFF	RULES	FORMAT	[UNTIL]
 Zone	Africa/Tunis	0:40:44 -	LMT	1881 May 12
-			0:09:05	-	PMT	1911 Mar  9    # Paris Mean Time
+			0:09:21	-	PMT	1911 Mar 11    # Paris Mean Time
 			1:00	Tunisia	MET%s
 
 # Uganda