Document a pair of settings ┌────────────────────────────────────────┐ │ Setting Meaning │ ├────────────────────────────────────────┤ │ Device Selects PDF, terminal │ │ text or HTML output. │ │ The document source │ │ remains a plain text │ │ file. │ │ Macro package Selects a document vo‐ │ │ cabulary such as ms, │ │ man or mdoc. │ └────────────────────────────────────────┘ GRF‐08‐003