Use https for downloading of unicode data from unicode.org (JuliaLang…

…#45750)
pcjentsch · Aug 18, 2022 · 84d6707 · 84d6707
1 parent 7667e44
commit 84d6707
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/Makefile b/doc/Makefile
@@ -28,7 +28,7 @@ DOCUMENTER_OPTIONS := linkcheck=$(linkcheck) doctest=$(doctest) buildroot=$(call
 UNICODE_DATA_VERSION=13.0.0
 $(SRCCACHE)/UnicodeData-$(UNICODE_DATA_VERSION).txt:
 	@mkdir -p "$(SRCCACHE)"
-	$(JLDOWNLOAD) "$@" http://www.unicode.org/Public/$(UNICODE_DATA_VERSION)/ucd/UnicodeData.txt
+	$(JLDOWNLOAD) "$@" https://www.unicode.org/Public/$(UNICODE_DATA_VERSION)/ucd/UnicodeData.txt
 
 deps: $(SRCCACHE)/UnicodeData-$(UNICODE_DATA_VERSION).txt
 	$(JLCHECKSUM) "$<"