To prevent doubling of pay, automate the deduction process by reducing the gross wage by the holiday amount.