From 9453716b44235f6f45e18691b2171ae15ce6c662 Mon Sep 17 00:00:00 2001
From: laurentheirendt <laurent.heirendt@uni.lu>
Date: Wed, 13 Jul 2022 05:16:57 +0200
Subject: [PATCH] trick to keep legacy from in redirect
---
.ci/generateIndex.py | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/.ci/generateIndex.py b/.ci/generateIndex.py
index 5bb6bd3f..b0910730 100644
--- a/.ci/generateIndex.py
+++ b/.ci/generateIndex.py
@@ -170,6 +170,11 @@ def generate_header(folder, permalink, shortcut, order, legacy_from, title, desc
header += " - /cards/" + root_lab(shortcut) + "\n"
header += " - /" + folder + "/cards/" + root_lab(shortcut) + "\n"
+ # include the legacy section in the redirect_from section
+ if len(legacy_from) > 0:
+ for item in legacy_from[1:-1]:
+ header += str(item)
+
# add the title and description
if len(title) > 0:
header += "title: " + title + "\n"
--
GitLab