<div dir="ltr"><div dir="ltr"><div class="gmail_attr"><br></div><div dir="ltr" class="gmail_attr">On Tue, 12 Mar 2024 at 20:38, Paul Eggert <<a href="mailto:eggert@cs.ucla.edu">eggert@cs.ucla.edu</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">I ran into one problem right away: "make DATAFORM=vanguard check"<br>failed, with messages like this:<br><br>> ./zic -d check_now.dir tzdata.zi<br>> "tzdata.zi", line 3483: Zone continuation line end time is not after end time of previous line<br>> "tzdata.zi", line 3484: input line of unknown type<br>> "tzdata.zi", line 3485: input line of unknown type<br>> "tzdata.zi", line 3486: input line of unknown type<br><br>so it looks like some of the ifdeffed-ish lines need to be changed, in<br>the vanguard section.<br></blockquote><div><br></div><div>At first inspection, it looks to me as though this may be some sort of bug with zishrink.awk.  It is currently generating the following out-of-order lines for my draft Atlantic/Azores:</div><div><br></div><div>Z Atlantic/Azores -1:42:40 - LMT 1884<br>-1:54:32 - HMT 1912 Ja 1 2u<br>-2 p %z 1966 O 2 2s<br>-1 p %z 1986<br>-1 - %z 1982 Mar 28 0s<br>-1 E %z 1992 D 27 1s<br>0 E WE%sT 1993 Jun 17 1u<br>-1 E %z<br></div><div><br></div><div>…but, unless I'm missing something, the source lines for Atlantic/Azores seem to pretty clearly be in the right order in the 'europe' file.</div><div><br></div><div>Could you look into possible sources of error there?</div><div><br></div><div>(Note: I have already caught a "1992 Sep 27" that ought to be "1992 Dec 27", but the error remains.)</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">I suggest rephrasing this Africa/Cape_Verde comment to something like<br>"For timestamps before independence see commentary for Europe/Lisbon."<br>We don't need to mention Shanks any more since we're no longer relying<br>on Shanks for any of this data.<br><br>Likewise for Africa/Bissau and Africa/Luanda.<br></blockquote><div><br></div><div>For Africa/Bissau and Africa/Luanda, where Shanks mistakes the decree date for the transition date, I definitely agree; thanks.</div><div><br></div><div>For Africa/Cape_Verde and Africa/Maputo, I think there is still some residual value in mentioning "Shanks said something different", since we aren't sure there wasn't some other law that could have introduced zonal time to any given colony prior to the May 1911 decree.  But I can definitely aim to be more concise in doing so.</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">For Africa/Maputo, it seems that we should change the transition time to<br>be the time you found, and ignore Shanks there as well. Although<br>Wikipedia says Lourenço Marques (as Maputo was then called) starting in<br>1904 had a tram service starting, which presumably had a need for<br>reliable fixed GMT offset, it's possible that the tram service used one<br>GMT offset while the local population typically used LMT. Given that<br>Shanks was wrong so often everywhere else Portugal held sway, he's<br>probably wrong here too.<br></blockquote><div><br></div><div>Do you mind if I quote/paraphrase that in the updated commentary?</div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">>  # India<br>> -# From Paul Eggert (2014-08-11), after a heads-up from Stephen Colebourne:<br>> -# According to a Portuguese decree (1911-05-26)<br>> -# <a href="https://dre.pt/pdf1sdip/1911/05/12500/23132313.pdf" rel="noreferrer" target="_blank">https://dre.pt/pdf1sdip/1911/05/12500/23132313.pdf</a><br>> -# Portuguese India switched to UT +05 on 1912-01-01.<br>> +# From Tim Parenti (2024-03-XXX), per Paul Eggert (2014-08-11), after a<br>> +# heads-up from Stephen Colebourne:<br>> +# According to a Portuguese decree (1911-05-24), Portuguese India switched to<br>> +# UT +05 on 1912-01-01 (see Europe/Lisbon).<br>>  #Zone        Asia/Panaji     [not enough info to complete]<br><br>Let's move this revised commentary to 'backzone' as it's unlikely we'll<br>need to create an Asia/Panerji in the main data.<br></blockquote><div><br></div><div>The commented-out Asia/Panaji section is already in 'backzone'.  Or did you mean something else?</div></div><div dir="ltr"><br clear="all"><div><div dir="ltr" class="gmail_signature">--<br>Tim Parenti</div></div></div></div>