[HarfBuzz] harfbuzz: Branch 'master'

[Behdad Esfahbod]

 .ci/deploy-docs.sh |   10 +++++-----
 README             |    2 ++
 docs/HarfBuzz.png  |binary
 docs/circle.yml    |    3 ---
 4 files changed, 7 insertions(+), 8 deletions(-)

New commits:
commit a13c0748c59a92812469ada762d57bce3b02fe34
Author: Ebrahim Byagowi <ebrahim at gnu.org>
Date:   Tue Nov 21 09:52:18 2017 +0330

    Move gh-pages docs to harfbuzz.github.io

diff --git a/.ci/deploy-docs.sh b/.ci/deploy-docs.sh
index d647cb4d..9fafad3f 100755
--- a/.ci/deploy-docs.sh
+++ b/.ci/deploy-docs.sh
@@ -16,19 +16,19 @@ mkdir $DOCSDIR
 cd $DOCSDIR
 
 cp ../docs/html/* .
-cp ../docs/circle.yml .
+#cp ../docs/CNAME .
 
 git init
 git config user.name "Travis CI"
 git config user.email "travis at harfbuzz.org"
 set +x
-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"
+echo "git remote add upstream \"https://\$GH_TOKEN@github.com/harfbuzz/harfbuzz.github.io.git\""
+git remote add upstream "https://$GH_TOKEN@github.com/harfbuzz/harfbuzz.github.io.git"
 set -x
 git fetch upstream
-git reset upstream/gh-pages
+git reset upstream/master
 
 touch .
 git add -A .
 git commit -m "Rebuild docs for $REVISION"
-git push -q upstream HEAD:gh-pages
+git push -q upstream HEAD:master
diff --git a/README b/README
index b1cc4ad8..4303222a 100644
--- a/README
+++ b/README
@@ -11,3 +11,5 @@ For bug reports, mailing list, and other information please visit:
   http://harfbuzz.org/
 
 For license information, see the file COPYING.
+
+Documentation: https://harfbuzz.github.io
diff --git a/docs/HarfBuzz.png b/docs/HarfBuzz.png
index 170e86ec..ca72e927 100644
Binary files a/docs/HarfBuzz.png and b/docs/HarfBuzz.png differ
diff --git a/docs/circle.yml b/docs/circle.yml
deleted file mode 100644
index e3ffd299..00000000
--- a/docs/circle.yml
+++ /dev/null
@@ -1,3 +0,0 @@
-test:
-  override:
-    - echo "test"