[docs] fix sphinx permissions

Author: Emanuele Palazzetti

.circleci/config.yml

@@ -779,7 +779,8 @@ jobs:
     steps:
       - checkout
       - run: sudo apt-get -y install rake
-      - run: sudo pip install mkwheelhouse sphinx awscli wrapt
+      # Sphinx 1.7.5 is required otherwise docs are not properly built
+      - run: sudo pip install mkwheelhouse sphinx==1.7.5 awscli wrapt
       - run: S3_DIR=trace rake release:docs
 
   wait_all_tests:

Rakefile

@@ -87,8 +87,7 @@ end
 
 desc "build the docs"
 task :docs do
-    # Sphinx 1.7.5 is required otherwise docs are not properly built
-    sh "pip install sphinx==1.7.5"
+    sh "pip install sphinx"
   Dir.chdir 'docs' do
     sh "make html"
   end