diff --git a/docs/Makefile b/docs/Makefile index 487e16cf6..68afe03e7 100644 --- 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 $@)