To prevent doubling of pay, automate the deduction process by reducing the gross wage by the holiday amount.
You won't be notified about changes to this idea.