comparison mupdf-source/thirdparty/harfbuzz/.ci/deploy-docs.sh @ 3:2c135c81b16c

MERGE: upstream PyMuPDF 1.26.4 with MuPDF 1.26.7
author Franz Glasner <fzglas.hg@dom66.de>
date Mon, 15 Sep 2025 11:44:09 +0200
parents b50eed0cc0ef
children
comparison
equal deleted inserted replaced
0:6015a75abc2d 3:2c135c81b16c
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