Mercurial > hgrepos > Python2 > PyMuPDF
comparison mupdf-source/thirdparty/harfbuzz/.ci/deploy-docs.sh @ 2:b50eed0cc0ef upstream
ADD: MuPDF v1.26.7: the MuPDF source as downloaded by a default build of PyMuPDF 1.26.4.
The directory name has changed: no version number in the expanded directory now.
| author | Franz Glasner <fzglas.hg@dom66.de> |
|---|---|
| date | Mon, 15 Sep 2025 11:43:07 +0200 |
| parents | |
| children |
comparison
equal
deleted
inserted
replaced
| 1:1d09e1dec1d9 | 2:b50eed0cc0ef |
|---|---|
| 1 #!/bin/bash | |
| 2 | |
| 3 set -x | |
| 4 set -o errexit -o nounset | |
| 5 | |
| 6 DOCSDIR=build-docs | |
| 7 REVISION=$(git rev-parse --short HEAD) | |
| 8 | |
| 9 rm -rf $DOCSDIR || exit | |
| 10 mkdir $DOCSDIR | |
| 11 cd $DOCSDIR | |
| 12 | |
| 13 cp ../build/docs/html/* . | |
| 14 #cp ../build/docs/CNAME . | |
| 15 | |
| 16 git init | |
| 17 git branch -m main | |
| 18 git config user.name "CI" | |
| 19 git config user.email "harfbuzz-admin@googlegroups.com" | |
| 20 set +x | |
| 21 echo "git remote add upstream \"https://\$GH_TOKEN@github.com/harfbuzz/harfbuzz.github.io.git\"" | |
| 22 git remote add upstream "https://$GH_TOKEN@github.com/harfbuzz/harfbuzz.github.io.git" | |
| 23 set -x | |
| 24 git fetch upstream | |
| 25 git reset upstream/main | |
| 26 | |
| 27 touch . | |
| 28 git add -A . | |
| 29 | |
| 30 if [[ $(git status -s) ]]; then | |
| 31 git commit -m "Rebuild docs for https://github.com/harfbuzz/harfbuzz/commit/$REVISION" | |
| 32 git push -q upstream HEAD:main | |
| 33 fi |
