gbdev/rgbds
1
0
Fork 0
mirror of https://github.com/gbdev/rgbds.git synced 2025-11-20 18:22:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

Sync release docs CI workflow with master

Browse Source 
We should look into reusable workflows, really.
https://docs.github.com/en/actions/using-workflows/reusing-workflows
This commit is contained in:
ISSOtm
2022-10-03 01:45:53 +02:00
parent f90857032c
commit 74e40654e6
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/create-release-docs.yml vendored
View File

@@ -25,7 +25,7 @@ jobs:
- name: Update pages - name: Update pages
working-directory: rgbds/man working-directory: rgbds/man
run: | # The ref appears to be in the format "refs/tags/<version>", so strip that 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 - name: Push new pages
working-directory: rgbds-www working-directory: rgbds-www
run: | run: |