From 22631d73bf7eea8e6e940bba699f5533584e6bb2 Mon Sep 17 00:00:00 2001 From: "Viral B. Shah" Date: Sun, 19 Jun 2022 15:31:01 -0400 Subject: [PATCH] Use https for downloading of unicode data from unicode.org (#45750) (cherry picked from commit 9b83dd8920734c1d869ced888b6d8a734fff365d) --- doc/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/Makefile b/doc/Makefile index ef5dadc3f3ab35..77bb9a03f46cd4 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -27,7 +27,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) "$<"