diff options
| author | Randy Palamar <palamar@ualberta.ca> | 2023-06-09 10:03:16 -0600 |
|---|---|---|
| committer | Randy Palamar <palamar@ualberta.ca> | 2023-06-09 10:10:04 -0600 |
| commit | 5fe6bf8c224011d67e99ba7884754a3bef1393e0 (patch) | |
| tree | 3ac00917fc4ceafa66e1d6d5158edd84df2d91aa | |
| parent | f64a644294f268f8386c61faec6242b9ca0787f8 (diff) | |
| download | vis-5fe6bf8c224011d67e99ba7884754a3bef1393e0.tar.gz vis-5fe6bf8c224011d67e99ba7884754a3bef1393e0.tar.xz | |
ci: don't generate man/index.html symlink
this seems to be broken if the actor isn't the owner of the repository
| -rw-r--r-- | .github/workflows/man.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/man.yml b/.github/workflows/man.yml index 79aa626..ab2b48b 100644 --- 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/ |