No pushd/popd in bare sh

ah- · Mar 1, 2018 · 9a8c637 · 9a8c637
1 parent 2693e5c
commit 9a8c637
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/scripts/publish-docs.sh b/scripts/publish-docs.sh
@@ -8,7 +8,7 @@ if [ "$TRAVIS_PULL_REQUEST" != "false" ] ||
    exit 0
 fi
 
-pushd book
+cd book
 
 echo -e "Initializing Git"
 git init
@@ -27,5 +27,3 @@ git commit -m "rebuild pages at ${rev}" --quiet
 git push -q upstream HEAD:gh-pages
 
 echo -e "Deployed docs to GitHub Pages"
-
-popd