mirror of
https://github.com/GothenburgBitFactory/taskwarrior.git
synced 2025-07-07 20:06:36 +02:00
23 lines
384 B
Bash
Executable file
23 lines
384 B
Bash
Executable file
#! /bin/bash
|
|
|
|
REMOTE=origin
|
|
|
|
set -e
|
|
|
|
if ! [ -f "./src/SUMMARY.md" ]; then
|
|
echo "Run this from the docs/ dir"
|
|
exit 1
|
|
fi
|
|
|
|
if ! [ -d ./tmp ]; then
|
|
git worktree add tmp gh-pages
|
|
fi
|
|
|
|
(cd tmp && git pull $REMOTE gh-pages)
|
|
|
|
rm -rf tmp/*
|
|
mdbook build
|
|
cp -rp book/* tmp
|
|
(cd tmp && git add -A)
|
|
(cd tmp && git commit -am "update docs")
|
|
(cd tmp && git push $REMOTE gh-pages:gh-pages)
|