Use explicit pip3.6

nginyc · nginyc · commit cd9d10e002db · 2019-05-08T17:09:24.000+08:00
diff --git a/scripts/build_docs.sh b/scripts/build_docs.sh
@@ -5,5 +5,5 @@ else
     DOCS_DIR=$RAFIKI_VERSION
 fi 
 
-pip install sphinx sphinx_rtd_theme
+pip3.6 install sphinx sphinx_rtd_theme
 sphinx-build -b html . docs/$DOCS_DIR/
