Behdad Esfahbod | d08035f | 2015-12-30 16:15:36 +0100 | [diff] [blame] | 1 | #!/bin/bash |
Khaled Hosny | b789199 | 2015-12-26 06:35:08 +0400 | [diff] [blame] | 2 | |
Behdad Esfahbod | 0d45c3c | 2015-12-30 16:09:39 +0100 | [diff] [blame] | 3 | set -x |
Behdad Esfahbod | d08035f | 2015-12-30 16:15:36 +0100 | [diff] [blame] | 4 | set -o errexit -o nounset |
Khaled Hosny | 22b0778 | 2015-12-14 23:33:51 +0400 | [diff] [blame] | 5 | |
Behdad Esfahbod | d08035f | 2015-12-30 16:15:36 +0100 | [diff] [blame] | 6 | TAG="$(git describe --exact-match --match "[0-9]*" HEAD 2>/dev/null || true)" |
Behdad Esfahbod | f3a0511 | 2015-12-30 15:45:43 +0100 | [diff] [blame] | 7 | |
Behdad Esfahbod | f3a0511 | 2015-12-30 15:45:43 +0100 | [diff] [blame] | 8 | DOCSDIR=build-docs |
Behdad Esfahbod | 33b2d98 | 2015-12-30 15:56:56 +0100 | [diff] [blame] | 9 | REVISION=$(git rev-parse --short HEAD) |
Behdad Esfahbod | f3a0511 | 2015-12-30 15:45:43 +0100 | [diff] [blame] | 10 | |
| 11 | rm -rf $DOCSDIR || exit |
| 12 | mkdir $DOCSDIR |
| 13 | cd $DOCSDIR |
| 14 | |
Ebrahim Byagowi | 5293fdb | 2020-06-04 02:38:27 +0430 | [diff] [blame] | 15 | cp ../build/docs/html/* . |
| 16 | #cp ../build/docs/CNAME . |
Behdad Esfahbod | f3a0511 | 2015-12-30 15:45:43 +0100 | [diff] [blame] | 17 | |
| 18 | git init |
Khaled Hosny | b39b047 | 2021-06-07 10:27:33 +0200 | [diff] [blame] | 19 | git branch -m main |
Behdad Esfahbod | f3a0511 | 2015-12-30 15:45:43 +0100 | [diff] [blame] | 20 | git config user.name "Travis CI" |
| 21 | git config user.email "travis@harfbuzz.org" |
Behdad Esfahbod | 0d45c3c | 2015-12-30 16:09:39 +0100 | [diff] [blame] | 22 | set +x |
Ebrahim Byagowi | a13c074 | 2017-11-21 09:52:18 +0330 | [diff] [blame] | 23 | echo "git remote add upstream \"https://\$GH_TOKEN@github.com/harfbuzz/harfbuzz.github.io.git\"" |
| 24 | git remote add upstream "https://$GH_TOKEN@github.com/harfbuzz/harfbuzz.github.io.git" |
Behdad Esfahbod | 0d45c3c | 2015-12-30 16:09:39 +0100 | [diff] [blame] | 25 | set -x |
Behdad Esfahbod | f3a0511 | 2015-12-30 15:45:43 +0100 | [diff] [blame] | 26 | git fetch upstream |
Khaled Hosny | fa432a1 | 2021-06-05 04:06:58 +0200 | [diff] [blame] | 27 | git reset upstream/main |
Behdad Esfahbod | f3a0511 | 2015-12-30 15:45:43 +0100 | [diff] [blame] | 28 | |
| 29 | touch . |
| 30 | git add -A . |
Ebrahim Byagowi | 6bf5e8e | 2020-06-04 04:03:14 +0430 | [diff] [blame] | 31 | |
Khaled Hosny | 09a2eb6 | 2021-06-07 10:52:27 +0200 | [diff] [blame] | 32 | if [[ $(git status -s) ]]; then |
Ebrahim Byagowi | 6bf5e8e | 2020-06-04 04:03:14 +0430 | [diff] [blame] | 33 | git commit -m "Rebuild docs for https://github.com/harfbuzz/harfbuzz/commit/$REVISION" |
Khaled Hosny | fa432a1 | 2021-06-05 04:06:58 +0200 | [diff] [blame] | 34 | git push -q upstream HEAD:main |
Khaled Hosny | 09a2eb6 | 2021-06-07 10:52:27 +0200 | [diff] [blame] | 35 | fi |