Продолжительность ежегодных основного и дополнительных оплачиваемых отпусков работников исчисляется в календарных днях и максимальным пределом не ограничивается.Нерабочие праздничные дни, приходящиеся на период ежегодного основного или ежегодного дополнительного оплачиваемого отпуска, в число календарных дней отпуска не включаются.
В соответствии со ст. 112 ТК РФ в число нерабочих праздничных дней включены 1,9 мая, поэтому все в данном случае ваш отдел кадров делает правильно.
Почему такие долгие майские праздники? поясню — В целях рационального использования работниками выходных и нерабочих праздничных дней Правительство Российской Федерации постановляет:
Перенести в 2013 году следующие выходные дни:
с субботы 5 января на четверг 2 мая;
с воскресенья 6 января на пятницу 3 мая;
с понедельника 25 февраля на пятницу 10 мая.