[docs] Minor

diff --git a/.ci/deploy-docs.sh b/.ci/deploy-docs.sh
index 73f6530..e4dbad4 100755 (executable)
--- a/.ci/deploy-docs.sh
+++ b/.ci/deploy-docs.sh
@@ -21,7 +21,7 @@ git init
 git config user.name "Travis CI"
 git config user.email "travis@harfbuzz.org"
 set +x
-echo "git remote add upstream \"https://$$GH_TOKEN@github.com/$TRAVIS_REPO_SLUG.git\""
+echo "git remote add upstream \"https://\$GH_TOKEN@github.com/$TRAVIS_REPO_SLUG.git\""
 git remote add upstream "https://$GH_TOKEN@github.com/$TRAVIS_REPO_SLUG.git"
 set -x
 git fetch upstream