Update installation.rst (#3188)
Update openssl https URL, otherwise a 302 result screws up the curl/tar steps and confusion ensues.
diff --git a/docs/installation.rst b/docs/installation.rst
index 2c60208..6aff5a7 100644
--- a/docs/installation.rst
+++ b/docs/installation.rst
@@ -171,7 +171,7 @@
. env/bin/activate
pip install -U setuptools
pip install -U wheel pip
- curl -O https://openssl.org/source/openssl-${OPENSSL_VERSION}.tar.gz
+ curl -O https://www.openssl.org/source/openssl-${OPENSSL_VERSION}.tar.gz
tar xvf openssl-${OPENSSL_VERSION}.tar.gz
cd openssl-${OPENSSL_VERSION}
./config no-shared no-ssl2 -fPIC --prefix=${CWD}/openssl