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