From b81269a7adb94883b8da97c260eaf3f7422009f1 Mon Sep 17 00:00:00 2001
From: Marco Biasini <mvbiasini@gmail.com>
Date: Thu, 16 May 2013 11:21:21 +0200
Subject: [PATCH] update install instructions

---
 modules/doc/install.rst | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/modules/doc/install.rst b/modules/doc/install.rst
index b92727bed..3392798c2 100644
--- a/modules/doc/install.rst
+++ b/modules/doc/install.rst
@@ -74,11 +74,12 @@ The above command will clone OpenStructure into the directory called `directory-
 
   Some versions of curl have have trouble with the certificate of the 
   OpenStructure git server and fail to clone the repository. To work around 
-  this, disable the SSL certificate verification with the following command:
+  this, disable the SSL certificate verification by setting the following
+  environment variable:
   
   .. code-block:: bash
-  
-    git config --global http.sslVerify false
+
+    export GIT_SSL_NO_VERIFY=1
 
 
 Picking the right branch
-- 
GitLab