Repository navigation

docs(user): generate the stable manual PDF redirect. Principle VIII. - #6582

Open

ten9876 wants to merge 4 commits into

mainfrom

docs/pdf-from-release

Open

docs(user): generate the stable manual PDF redirect. Principle VIII.#6582
ten9876 wants to merge 4 commits into
mainfrom
docs/pdf-from-release

Commits on Oct 20, 2026
- ci(docs): deploy the docs site at release time, not on merge. Principle VIII.
  
  authored and
  jensenpat
  committed
  1660cb2
- ci(docs): build the deploy without secrets and refuse unreviewed refs. Principle XII.
  
  authored and
  jensenpat
  committed
  667e794
- Harden docs deployment and PDF redirects. Principle VIII.
  jensenpat
  committed
  7fa2989
- docs(user): serve the PDF manual from the stable release, not Pages. Principle VIII.
  
  authored and
  jensenpat
  committed
  5a5f45d