From 260034ec5c18eda96beb14adf171e804cea5f4dd Mon Sep 17 00:00:00 2001
From: Pierre Chapuis <catwell-github@catwell.info>
Date: Sun, 22 May 2016 14:57:53 +0200
Subject: [PATCH] use HTTPS URLs for the manual

---
 ldoc/builtin/globals.lua | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ldoc/builtin/globals.lua b/ldoc/builtin/globals.lua
index 119a841..3c74324 100644
--- a/ldoc/builtin/globals.lua
+++ b/ldoc/builtin/globals.lua
@@ -58,7 +58,7 @@ if lua52 then
       coroutine = '6.2',
       debug = '6.10'
     }
-   globals.set_manual_url 'http://www.lua.org/manual/5.2/manual.html'
+   globals.set_manual_url 'https://www.lua.org/manual/5.2/manual.html'
 else
    globals.tables = {
       io = '5.7',
@@ -70,7 +70,7 @@ else
       coroutine = '5.2',
       debug = '5.9'
    }
-   globals.set_manual_url 'http://www.lua.org/manual/5.1/manual.html'
+   globals.set_manual_url 'https://www.lua.org/manual/5.1/manual.html'
 end
 
 local file_methods = {