From a099573c852cfbe63bcc1e65eddc093f68b75e8a Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 14 Aug 2020 01:57:45 +0100
Subject: Add download of Coq documentation

---
 .github/workflows/gh-pages.yml | 5 +++++
 scripts/download_artifact.sh   | 8 ++++++++
 2 files changed, 13 insertions(+)
 create mode 100755 scripts/download_artifact.sh

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index ed7e032..ab4f277 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -19,6 +19,11 @@ jobs:
     - name: Generate documentation
       run: cd docs && emacs --batch --no-init --load publish.el --funcall org-publish-all
 
+    - name: Generation Coq documentation
+      env:
+        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+      run: scripts/download_artifact.sh
+
     - name: Generate Admitted icon
       run: python3 scripts/statistics.py src && mkdir -p docs/html/assets && mv admitted.svg docs/html/assets/.
 
diff --git a/scripts/download_artifact.sh b/scripts/download_artifact.sh
new file mode 100755
index 0000000..5ba8b4d
--- /dev/null
+++ b/scripts/download_artifact.sh
@@ -0,0 +1,8 @@
+#!/bin/sh
+
+mkdir -p docs/html/docs
+cd docs/html/docs
+curl -v -L -H "Accept: application/vnd.github.v3+json" -H "Authorization: token $GITHUB_TOKEN" https://api.github.com/repos/ymherklotz/vericert/actions/artifacts/14069960/zip -o html-documentation.zip
+unzip html-documentation.zip
+rm html-documentation.zip
+cp ../../css/coqdoc.css .
-- 
cgit