Martin Luther King Jr. Day

2015-01-19 Thread Richard
Today is Martin Luther King Jr. Day in the United States,
a federal holiday in all 52 states.

The /usr/bin/calendar program shows incorrectly that yesterday, Jan 18,
was Martin Luther King day in New York.

And it does not show that today, Jan 19 the third Monday in January,  is
the correct US holiday.

Below are my suggested patches to calendar.holiday and
calendar.usholiday:

Richard Narron
-
--- calendar.holiday.orig   Mon Jan 19 00:33:44 2015
+++ calendar.holidayMon Jan 19 08:16:06 2015
@@ -32,7 +32,6 @@
 01/19  Nameday of Archbishop Makarios in Cyprus
 01/20  Army Day in Mali
 01/20  National Heroes Day in Guinea-Bissau
-01/SunThirdMartin Luther King Day in New York (3rd Sunday)
 01/MonThirdRobert E. Lee's Birthday in Alabama  Mississippi (3rd
Monday)
 01/MonThirdLee-Jackson Day in Virginia (3rd Monday)
 01/21  Our Lady of Altagracia in Dominican Republic

--- calendar.usholiday.orig Mon Jan 19 00:33:44 2015
+++ calendar.usholiday  Mon Jan 19 08:06:28 2015
@@ -8,6 +8,7 @@
 #define _calendar_usholiday_

 01/01  New Year's Day
+01/MonThirdMartin Luther King Jr. Day (3rd Monday of January)
 02/02  Groundhog Day
 02/14  St. Valentine's Day
 02/MonThirdPresident's Day (3rd Monday of February)



Re: Martin Luther King Jr. Day

2015-01-19 Thread Alexander Hall
On January 19, 2015 5:43:58 PM CET, Richard rich...@aaazen.com wrote:
Today is Martin Luther King Jr. Day in the United States,
a federal holiday in all 52 states.

Darn, man. That subject and initial sentence was pretty darn close to hit the 
spam training bucket. :-)

/Alexander


The /usr/bin/calendar program shows incorrectly that yesterday, Jan 18,
was Martin Luther King day in New York.

And it does not show that today, Jan 19 the third Monday in January, 
is
the correct US holiday.

Below are my suggested patches to calendar.holiday and
calendar.usholiday:

Richard Narron
-
--- calendar.holiday.orig   Mon Jan 19 00:33:44 2015
+++ calendar.holidayMon Jan 19 08:16:06 2015
@@ -32,7 +32,6 @@
 01/19  Nameday of Archbishop Makarios in Cyprus
 01/20  Army Day in Mali
 01/20  National Heroes Day in Guinea-Bissau
-01/SunThirdMartin Luther King Day in New York (3rd Sunday)
 01/MonThirdRobert E. Lee's Birthday in Alabama  Mississippi (3rd
Monday)
 01/MonThirdLee-Jackson Day in Virginia (3rd Monday)
 01/21  Our Lady of Altagracia in Dominican Republic

--- calendar.usholiday.orig Mon Jan 19 00:33:44 2015
+++ calendar.usholiday  Mon Jan 19 08:06:28 2015
@@ -8,6 +8,7 @@
 #define _calendar_usholiday_

 01/01  New Year's Day
+01/MonThirdMartin Luther King Jr. Day (3rd Monday of January)
 02/02  Groundhog Day
 02/14  St. Valentine's Day
 02/MonThirdPresident's Day (3rd Monday of February)



Re: Martin Luther King Jr. Day

2015-01-19 Thread Richard
On Mon, 19 Jan 2015, Alexander Hall wrote:

 On January 19, 2015 5:43:58 PM CET, Richard rich...@aaazen.com wrote:
 Today is Martin Luther King Jr. Day in the United States,
 a federal holiday in all 52 states.

 Darn, man. That subject and initial sentence was pretty darn close to hit the 
 spam training bucket. :-)


It does look like spam.  As ropers pointed out to me, there are 50 states
not 52...

The point I want to make is that Martin Luther King Jr. Day is a holiday
in all US states, not just New York state alone.

Richard