Las vacaciones son un derecho de los funcionarios públicos, que deben ser gozados en forma anual en relación a su antigüedad