3 Commits

Author	SHA1	Message	Date
Bence Szépkúti	333ca8fdfc	Migrate to new RTD redirect format ... Migrate to the new redirect format introduced by ReadTheDocs in readthedocs/readthedocs.org#10881 Signed-off-by: Bence Szépkúti <bence.szepkuti@arm.com>	2024-01-16 17:06:06 +01:00
Bence Szépkúti	09f8df86ac	Reword the API token explanation in redirects.yaml ... Signed-off-by: Bence Szépkúti <bence.szepkuti@arm.com>	2023-05-09 21:07:30 +02:00
Bence Szépkúti	7ce8fba3cb	Add post-build step to update redirects ... This allows us to maintain the list of redirects in-tree. Signed-off-by: Bence Szépkúti <bence.szepkuti@arm.com>	2023-05-02 20:16:12 +02:00