From 74e40654e64f321399f3e2bb04019f83c96ce6fa Mon Sep 17 00:00:00 2001
From: ISSOtm <eldredhabert0@gmail.com>
Date: Mon, 3 Oct 2022 01:45:53 +0200
Subject: [PATCH] Sync release docs CI workflow with master

We should look into reusable workflows, really.
https://docs.github.com/en/actions/using-workflows/reusing-workflows
---
 .github/workflows/create-release-docs.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/create-release-docs.yml b/.github/workflows/create-release-docs.yml
index 4ba3f0a3..03cf2a39 100644
--- a/.github/workflows/create-release-docs.yml
+++ b/.github/workflows/create-release-docs.yml
@@ -25,7 +25,7 @@ jobs:
       - 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: |