From 02553d13a0242809fbe54f1d123f0e44eec70f2e Mon Sep 17 00:00:00 2001
From: Victor Zverovich <victor.zverovich@gmail.com>
Date: Thu, 29 Dec 2016 10:44:02 -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 76d27833..ec045f74 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])