When a holiday falls on one of the employee's regularly scheduled workdays in his basic workweek, that workday is the employee's holiday. When a holiday falls on a day outside the employee's basic workweek, the workday in the employee's basic workweek which is considered to be the employee's holiday shall be determined as follows: When a holiday falls on Sunday, the employee's holiday is Monday, and when a holiday falls on Saturday, the employee's holiday is Friday.
('73 Code, § 7-55)