Fix doc publish

Author: workingjubilee

.travis.yml

@@ -170,7 +170,12 @@ jobs:
       stage: tools
     # TOOLS:
     - name: "Documentation"
-      install: cargo install mdbook
+      before_install:
+        - sudo add-apt-repository -y ppa:deadsnakes/ppa
+        - sudo apt-get update -y
+        - sudo apt-get install -y python3.7 python3.7-pip
+      install:
+        - cargo install mdbook
       script: ci/dox.sh
       stage: tools
     - name: "rustfmt"

ci/dox.sh

@@ -18,7 +18,10 @@ cp -r perf-guide/book target/doc/perf-guide
 
 # If we're on travis, not a PR, and on the right branch, publish!
 if [ "$TRAVIS_PULL_REQUEST" = "false" ] && [ "$TRAVIS_BRANCH" = "master" ]; then
-  pip install ghp_import --install-option="--prefix=$HOME/.local"
-  $HOME/.local/bin/ghp-import -n target/doc
+  python3 -vV
+  pip -vV
+  python3.7 -vV
+  pip install ghp_import --user
+  ghp-import -n target/doc
   git push -qf https://${GH_PAGES}@github.com/${TRAVIS_REPO_SLUG}.git gh-pages
 fi