From 72864feff1d78d43cba2526d264a03f95c3c7a6f Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Sun, 14 Jan 2024 21:13:32 +0100
Subject: [PATCH] build report as part of docs deployment

---
 .github/workflows/deploy-docs.yml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml
index 21cc0cd..224ffee 100644
--- a/.github/workflows/deploy-docs.yml
+++ b/.github/workflows/deploy-docs.yml
@@ -25,6 +25,7 @@ jobs:
               opam pin add -n -y -k path coq-abs-metatheory .
               opam update -y
               opam install -y -j "$(nproc)" coq-abs-metatheory --deps-only
+              opam install -y -j "$(nproc)" ott conf-texlive
             endGroup
             startGroup "Add permissions"
               sudo chown -R coq:coq .
@@ -35,6 +36,9 @@ jobs:
             startGroup "Build coqdoc"
               make coqdoc
             endGroup
+            startGroup "Build report"
+              make docs/report/main.pdf
+            endGroup
 
       - name: Revert Coq user permissions
         # to avoid a warning at cleanup time
@@ -43,9 +47,10 @@ jobs:
 
       - name: Copy HTML and CSS and JavaScript
         run: |
-          mkdir -p public/docs
+          mkdir -p public/docs/report
           cp resources/index.html public/
           cp -r docs/coqdoc public/docs
+          cp docs/report/main.pdf public/docs/report
 
       - name: Deploy to GitHub pages
         if: github.event_name == 'push' && github.ref == 'refs/heads/master'