follow redirect when fetching theme archive (#15986)

diff --git a/docs/Makefile b/docs/Makefile
index 487e16cf6fc278f06b0323711eb0affe08b6251c..68afe03e75fe0867daf97ecd520eb9e5b0e43891 100644 (file)
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -31,4 +31,4 @@ update: $(THEME)
 $(THEME): $(THEME)/theme.toml
 $(THEME)/theme.toml:
        mkdir -p $$(dirname $@)
-       curl -s $(ARCHIVE) | tar xz -C $$(dirname $@)
+       curl -L -s $(ARCHIVE) | tar xz -C $$(dirname $@)