shithub: rgbds

Download patch

ref: 6828f7bf493cd4c9c332ea769e6e38fbbe258821
parent: 33a0857b8d2f382b21f4efad7bd25b400185019f
author: ISSOtm <eldredhabert0@gmail.com>
date: Tue Feb 7 20:45:35 EST 2023 

"Hook up" new releases' docs


--- a/.github/workflows/create-release-docs.yml
+++ b/.github/workflows/create-release-docs.yml
@@ -26,6 +26,7 @@
         working-directory: rgbds/man
         run: | # The ref appears to be in the format "refs/tags/<version>", so strip that
           ../../rgbds-www/maintainer/man_to_html.sh ${GITHUB_REF##*/} *
+          ../../rgbds-www/maintainer/new_release.sh ${GITHUB_REF##*/}
       - name: Push new pages
         working-directory: rgbds-www
         run: |