Civil Service Personnel Rule 74

74. Leave ordinarily starts on the day when the duty is handed over and ends on the preceding day when the duty is resumed. When the immediate preceeding day on which a service personnel’s leave starts or the immediate following day on which his leave expires is a holiday, these holidays shall not be counted as leave. However, when both of these days are holidays, one of them shall be counted as leave.