Tex. Gov't Code § 662.006
(a) An individual who is a state employee on the last workday before or the first workday after an optional holiday, or on both workdays, is entitled, except as provided by Section 662.010, to a paid day off from working for a state agency on the holiday if:
(2) the employee agrees to give up, during the same fiscal year, a state holiday that:
(b) A state employee is entitled to a paid day off from working for a state agency on each day of an optional holiday that extends for more than one day if the employee:
(2) agrees to give up during the same fiscal year an equivalent number of state holidays that:
Added by Acts 1993, 73rd Leg., ch. 268, Sec. 1, eff. Sept. 1, 1993.
Amended by Acts 1997, 75th Leg., ch. 1035, Sec. 29, eff. June 19, 1997.