Mercurial > hgrepos > Python2 > PyMuPDF
diff 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 |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/mupdf-source/thirdparty/harfbuzz/.ci/deploy-docs.sh Mon Sep 15 11:43:07 2025 +0200 @@ -0,0 +1,33 @@ +#!/bin/bash + +set -x +set -o errexit -o nounset + +DOCSDIR=build-docs +REVISION=$(git rev-parse --short HEAD) + +rm -rf $DOCSDIR || exit +mkdir $DOCSDIR +cd $DOCSDIR + +cp ../build/docs/html/* . +#cp ../build/docs/CNAME . + +git init +git branch -m main +git config user.name "CI" +git config user.email "harfbuzz-admin@googlegroups.com" +set +x +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/main + +touch . +git add -A . + +if [[ $(git status -s) ]]; then + git commit -m "Rebuild docs for https://github.com/harfbuzz/harfbuzz/commit/$REVISION" + git push -q upstream HEAD:main +fi