제가 재직 중인 회사에서는 기본으로 제공되는 연차에서 여름휴가를 제하여 공지가 됩니다. 여름 휴가는 일괄적으로 같은 날에 쉬며 총 5일이라 남은 연차는 9일 정도 됩니다. 원래 다른 회사도 여름휴가는 별도가 아닌 연차 휴가에서 제하는 것인가요?