From 9b30c776fb6bbb559d2e0b19c5c5e3eed4cde47c Mon Sep 17 00:00:00 2001
From: Dennis Ushakov <dennis.ushakov@gmail.com>
Date: Fri, 24 Jun 2016 17:07:27 +0300
Subject: [PATCH] update charref link and make sure curl follows redirects

---
 xml/relaxng/src/resources/html5charref.rb | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/xml/relaxng/src/resources/html5charref.rb b/xml/relaxng/src/resources/html5charref.rb
index b5850d6ece72..9d0b8f9b0ef8 100755
--- a/xml/relaxng/src/resources/html5charref.rb
+++ b/xml/relaxng/src/resources/html5charref.rb
@@ -1,6 +1,6 @@
 #! /usr/bin/env ruby
-CHAR_REFS_URL = 'http://dev.w3.org/html5/html-author/charref'
-refs = `curl #{CHAR_REFS_URL}`
+CHAR_REFS_URL = 'https://dev.w3.org/html5/html-author/charref'
+refs = `curl -L #{CHAR_REFS_URL}`
 
 header = <<header
 <!--