more debugging

Author: James Hagborg

scripts/deploy_docs.sh

@@ -9,13 +9,13 @@ echo "debug: cwd is $(pwd)"
 git config --global user.email "[email protected]"
 git config --global user.name "travis-ci"
 git clone --quiet --branch=gh-pages "https://${GH_TOKEN}@github.com/teamhyper/hyperLib" gh-pages &> /dev/null
+ls -la
 cd gh-pages
 echo "debug: cwd is now $(pwd)"
 git status
 
 echo "Copying docs over..."
 # Copy docs over
-
 mkdir -p doc/${DEPLOY_DIR}
 cp -Rf ${TRAVIS_BUILD_DIR}/build/docs/javadoc/* doc/${DEPLOY_DIR}