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 redirect page generation with site

Browse Source
This commit is contained in:
ISSOtm
2020-09-16 06:25:46 +02:00
parent 12458aae6f
commit 304e6c4279
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.github/actions/get-pages.sh vendored
View File

@@ -81,7 +81,7 @@ EOF
if [ $update_redirects -ne 0 ]; then if [ $update_redirects -ne 0 ]; then
cat - >"$1/$page" <<EOF cat - >"$1/$page" <<EOF
--- ---
redirect_to: $WWWPATH/$2/${page%.html}/ redirect_to: $WWWPATH/$2/${page%.html}
permalink: $WWWPATH/${page%.html}/ permalink: $WWWPATH/${page%.html}/
title: $manpage [latest stable] title: $manpage [latest stable]
description: RGBDS latest stable — $descr description: RGBDS latest stable — $descr