gbdev/rgbds
1
0
Fork 0
mirror of https://github.com/gbdev/rgbds.git synced 2025-11-22 19:22:05 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix permalinks of index pages

Browse Source
This commit is contained in:
ISSOtm
2020-09-16 05:25:17 +02:00
parent 7e5d9683b1
commit 12458aae6f
1 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -73,7 +73,7 @@ title: $manpage [$2]
description: RGBDS $2 — $descr description: RGBDS $2 — $descr
--- ---
EOF EOF
options=fragment,man='%N.%S.html;https://linux.die.net/man/%S/%N' options=fragment,man='%N.%S;https://linux.die.net/man/%S/%N'
if [ $stem = rgbasm.5 ]; then if [ $stem = rgbasm.5 ]; then
options+=,toc options+=,toc
fi fi
@@ -81,8 +81,8 @@ 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 redirect_to: $WWWPATH/$2/${page%.html}/
permalink: $WWWPATH/$page permalink: $WWWPATH/${page%.html}/
title: $manpage [latest stable] title: $manpage [latest stable]
description: RGBDS latest stable — $descr description: RGBDS latest stable — $descr
--- ---
@@ -92,6 +92,7 @@ done
cat - >"$1/$2/index.html" <<EOF cat - >"$1/$2/index.html" <<EOF
--- ---
layout: doc_index layout: doc_index
permalink: /docs/$2/
title: RGBDS online manual [$2] title: RGBDS online manual [$2]
description: RGBDS $2 - Online manual description: RGBDS $2 - Online manual
--- ---