Как оплачиваются дополнительные дни отдыха?

По производственному календарю 12 июня - праздник, а 13-е считается доп. днем отдыха, его считать так же, как праздничный, или как обычный?