aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
authorRandy Palamar <palamar@ualberta.ca>2023-06-08 09:02:41 -0600
committerRandy Palamar <palamar@ualberta.ca>2023-06-08 09:02:43 -0600
commit1a47799cd075415ff656de8778b0d63a7fce394a (patch)
tree19879a5b7822598192c7aa6d53a5442890efa99d /.github/workflows
parent7221065de091d730738eae8de16c01e17124921a (diff)
downloadvis-1a47799cd075415ff656de8778b0d63a7fce394a.tar.gz
vis-1a47799cd075415ff656de8778b0d63a7fce394a.tar.xz
ci: fetch mandoc.css from release tarball
this is more stable than grabbing from the CVS web interface
Diffstat (limited to '.github/workflows')
-rw-r--r--.github/workflows/man.yml2
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/man.yml b/.github/workflows/man.yml
index c617c12..479fee5 100644
--- a/.github/workflows/man.yml
+++ b/.github/workflows/man.yml
@@ -19,7 +19,7 @@ jobs:
- name: Manual generation
run: |
make man
- wget 'https://cvsweb.bsd.lv/~checkout~/mandoc/mandoc.css?rev=1.46&content-type=text/plain' -O man/mandoc.css
+ wget -O - https://mandoc.bsd.lv/snapshots/mandoc-1.14.6.tar.gz | tar -zxC man --strip-components 1 mandoc-1.14.6/mandoc.css
ln -sf "${GITHUB_REPOSITORY#$GITHUB_ACTOR/}.1.html" man/index.html
- name: Upload