[tz] Problem with historical Asia/Manila?

[Paul Eggert]

Paul Goyette wrote:
> According to the asia file, the Philippines jumped 24 hours on May 11, 1899,
> from -15:56:00 to +8:04:00 (they moved the international date line?)
>
> # Zone  NAME            GMTOFF  RULES   FORMAT  [UNTIL]
> Zone    Asia/Manila     -15:56:00 -     LMT     1844 Dec 31
>                         8:04:00 -       LMT     1899 May 11
>                         8:00    Phil    +08/+09 1942 May

Yes, they moved the date line. But this occurred in 1844, not in 1899. I think 
you misread the UNTIL column.  zdump -i reports:

TZ="Asia/Manila"
-	-	-1556	LMT
1845-01-01	00	+0804	LMT
1899-05-10	23:56	+08
...

so the big change occurred in 1844, and the four-minute change occurred in 1899, 
which is what the table says.