ref: 12458aae6fba3065f671847b70edb6dd77312b6e
parent: 7e5d9683b1d769543604d34c2e5c6ce3663087aa
author: ISSOtm <eldredhabert0@gmail.com>
date: Wed Sep 16 01:25:17 EDT 2020
Fix permalinks of index pages
--- a/.github/actions/get-pages.sh
+++ b/.github/actions/get-pages.sh
@@ -73,7 +73,7 @@
description: RGBDS $2 — $descr
---
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
options+=,toc
fi
@@ -81,8 +81,8 @@
if [ $update_redirects -ne 0 ]; then
cat - >"$1/$page" <<EOF
---
-redirect_to: $WWWPATH/$2/$page
-permalink: $WWWPATH/$page
+redirect_to: $WWWPATH/$2/${page%.html}/+permalink: $WWWPATH/${page%.html}/title: $manpage [latest stable]
description: RGBDS latest stable — $descr
---
@@ -92,6 +92,7 @@
cat - >"$1/$2/index.html" <<EOF
---
layout: doc_index
+permalink: /docs/$2/
title: RGBDS online manual [$2]
description: RGBDS $2 - Online manual
---