From 304e6c42793206a8484330185cc8fd78ee7c6f99 Mon Sep 17 00:00:00 2001
From: ISSOtm <eldredhabert0@gmail.com>
Date: Wed, 16 Sep 2020 06:25:46 +0200
Subject: [PATCH] Sync redirect page generation with site

---
 .github/actions/get-pages.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/actions/get-pages.sh b/.github/actions/get-pages.sh
index e775b2ac..d6031f5e 100755
--- a/.github/actions/get-pages.sh
+++ b/.github/actions/get-pages.sh
@@ -81,7 +81,7 @@ EOF
 	if [ $update_redirects -ne 0 ]; then
 		cat - >"$1/$page" <<EOF
 ---
-redirect_to: $WWWPATH/$2/${page%.html}/
+redirect_to: $WWWPATH/$2/${page%.html}
 permalink: $WWWPATH/${page%.html}/
 title: $manpage [latest stable]
 description: RGBDS latest stable — $descr