vis

commit e1ba663b6b9fe749f0dc65438ee5cb50bf9a89ed
parent 831785b9026f88774b0ca232d1394f97c8118e8e
Author: Randy Palamar <palamar@ualberta.ca>
Date:   Fri,  9 Jun 2023 10:03:16 -0600

ci: don't generate man/index.html symlink

this seems to be broken if the actor isn't the owner of the repository

Diffstat:
M
.github/workflows/man.yml
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.github/workflows/man.yml b/.github/workflows/man.yml
@@ -20,7 +20,6 @@ jobs:
       run: |
         make man
         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#*/}.1.html" man/index.html
 
     - name: Upload
       env:
@@ -30,6 +29,7 @@ jobs:
         git config --global user.name "${GITHUB_ACTOR}"
         git config --global user.email "${GITHUB_ACTOR}@users.noreply.github.com"
         mkdir -p /tmp/gh-pages/man
+        cp -av /tmp/gh-pages/man/index.html man/
         rm -f /tmp/gh-pages/man/*
         cp -av man/*.html /tmp/gh-pages/man/
         cp -av man/*.css /tmp/gh-pages/man/