From 190e725f0f0dc09e212d4c8c75e7ab05a98cd14c Mon Sep 17 00:00:00 2001 From: Ties Stuij Date: Wed, 4 Sep 2024 12:14:04 +0100 Subject: [PATCH] slightly tweak the release links generator script - removed referring to developer.arm.com, as we have moved all the legacy docs here now - moved some docs into the 64-bit section --- tools/common/generate-release-links.sh | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) diff --git a/tools/common/generate-release-links.sh b/tools/common/generate-release-links.sh index 2774e78..e4721f3 100755 --- a/tools/common/generate-release-links.sh +++ b/tools/common/generate-release-links.sh @@ -57,10 +57,10 @@ cat <