diff --git a/scripts/website_push_docs.sh b/scripts/website_push_docs.sh new file mode 100755 index 000000000..ec2d8a09f --- /dev/null +++ b/scripts/website_push_docs.sh @@ -0,0 +1,12 @@ +#!/bin/bash + +# Get the parent directory of where this script is. +SOURCE="${BASH_SOURCE[0]}" +while [ -h "$SOURCE" ] ; do SOURCE="$(readlink "$SOURCE")"; done +DIR="$( cd -P "$( dirname "$SOURCE" )/.." && pwd )" + +# Change into that directory +cd $DIR + +# Push the subtree (force) +git push heroku-docs `git subtree split --prefix website/docs master`:master --force