From 02c1b195dd485f4339dc35327614b5c777daa999 Mon Sep 17 00:00:00 2001
From: Robert Norton <robert.norton@microsoft.com>
Date: Tue, 23 Jan 2024 15:35:00 +0000
Subject: [PATCH] Build and archive archdoc in github action.

---
 .github/workflows/compile.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/compile.yml b/.github/workflows/compile.yml
index dee846b..ee94ad8 100644
--- a/.github/workflows/compile.yml
+++ b/.github/workflows/compile.yml
@@ -29,7 +29,11 @@ jobs:
         cp c_emulator/cheriot_sim install
         cp LICENSE install/LICENCE-cheriot-sail
         cp sail-riscv/LICENCE install/LICENCE-sail-riscv
-    - name: Upload artifact
+    - name: Build arch doc
+      run: |
+        eval $(opam env) && make -C archdoc
+        cp archdoc/cheriot-architecture.pdf install
+    - name: Upload simulator artifact
       uses: actions/upload-artifact@v3
       with:
         name: cheriot_sim