From 19f990a9c02264334db670825cd371b5c42ff478 Mon Sep 17 00:00:00 2001
From: Victor Zverovich <victor.zverovich@gmail.com>
Date: Sat, 27 Jan 2018 09:15:28 -0800
Subject: [PATCH] Use https to fetch dependencies from github

---
 doc/build.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/build.py b/doc/build.py
index 1a6aceda..5f35aebc 100755
--- a/doc/build.py
+++ b/doc/build.py
@@ -19,7 +19,7 @@ def pip_install(package, commit=None, **kwargs):
     except DistributionNotFound:
       pass
   if commit:
-    package = 'git+git://github.com/{0}.git@{1}'.format(package, commit)
+    package = 'git+https://github.com/{0}.git@{1}'.format(package, commit)
   print('Installing {0}'.format(package))
   check_call(['pip', 'install', package])