Hmm. Sounds odd to me. A lot of people plan vacation time around holidays to maximize their vacation. Unless the manual has been updated since last year, I would think that you have a case to take up with your HR department. If everyone else gets that holiday paid then you should as well.
I'd talk to your HR people.


