$.DELETE Option

(Type: Boolean, Default: FALSE)

<$.DELETE option>

┌◄────────────── , ─────────────┐ ── $.DELETE ─┴─┬─<integer>─────────────────┬─┴─────────────────────────┤ └─<integer>── - ──<integer>─┘

When the $.DELETE option is TRUE, the PATCH utility deletes the patches specified in the number list. Patches already processed are not affected. Each patch can have its $.DELETE option specified as SET, RESET, or POP as desired. A deleted patch is listed if $.LISTP is TRUE, but is otherwise ignored. Deleted patches are not included in the PATCHES file.