ref: 304e6c42793206a8484330185cc8fd78ee7c6f99
parent: 12458aae6fba3065f671847b70edb6dd77312b6e
author: ISSOtm <eldredhabert0@gmail.com>
date: Wed Sep 16 02:25:46 EDT 2020
Sync redirect page generation with site
--- a/.github/actions/get-pages.sh
+++ b/.github/actions/get-pages.sh
@@ -81,7 +81,7 @@
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