diff options
| author | Evan Shelhamer <shelhamer@imaginarynumber.net> | 2014-03-19 22:29:17 -0700 |
|---|---|---|
| committer | Evan Shelhamer <shelhamer@imaginarynumber.net> | 2014-03-19 22:31:59 -0700 |
| commit | 19a7e23cccb1b2f07b61ccbb11341ac85d37b9b1 (patch) | |
| tree | f7a0f7af7a27f8fcb4937a2fca80d9a94f5c95ac /scripts | |
| parent | aa0a52f9e6ca2e4499bb30f13af844aa94ebdae4 (diff) | |
| download | caffeonacl-19a7e23cccb1b2f07b61ccbb11341ac85d37b9b1.tar.gz caffeonacl-19a7e23cccb1b2f07b61ccbb11341ac85d37b9b1.tar.bz2 caffeonacl-19a7e23cccb1b2f07b61ccbb11341ac85d37b9b1.zip | |
fix script path incantation
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/build_and_deploy_docs.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build_and_deploy_docs.sh b/scripts/build_and_deploy_docs.sh index fdb75dbf..b6029613 100755 --- a/scripts/build_and_deploy_docs.sh +++ b/scripts/build_and_deploy_docs.sh @@ -15,7 +15,7 @@ MSG=`git log --oneline -1` if [[ $BRANCH = 'master' ]]; then # Find the docs dir, no matter where the script is called - DIR="$(readlink -f $(dirname "$0"))" + DIR="$( cd "$(dirname "$0")" ; pwd -P )" DOCS_SITE_DIR=$DIR/../docs/_site # Make sure that docs/_site tracks remote:gh-pages. |