Move old manual, and place prebuilt manual in doc · rems-project/sail@fccc5ce

Triggered via push December 5, 2023 16:19

Alasdair

doc_update3

Status Success

Total duration 11m 45s

Artifacts 3

coverage.yml

on: push

Matrix: build

Produced during runtime