shithub: rgbds

Info  •  Files  •  Log  •  Branches

Sync release docs CI workflow with master

We should look into reusable workflows, really.
https://docs.github.com/en/actions/using-workflows/reusing-workflows

--- a/.github/workflows/create-release-docs.yml

+++ b/.github/workflows/create-release-docs.yml

@@ -25,7 +25,7 @@

       - name: Update pages

         working-directory: rgbds/man

         run: | # The ref appears to be in the format "refs/tags/<version>", so strip that

-          ../../rgbds-www/.github/actions/get-pages.sh ${GITHUB_REF##*/} *

+          ../../rgbds-www/maintainer/man_to_html.sh ${GITHUB_REF##*/} *

       - name: Push new pages

         working-directory: rgbds-www

         run: |