diff --git a/.ci/generateIndex.py b/.ci/generateIndex.py index 5bb6bd3f061ec4a1c5a4b6b17b23b4ca1c8bcf25..b09107308449bb917b322e95a5c8edb901ccf3e9 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"