blob: 5ba8b4df8ce23e697a7b9f565aa75eca6924b119 (
plain)
1
2
3
4
5
6
7
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 .
|
