Web M&M
https://mam.matfyz.cz
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
22 lines
352 B
22 lines
352 B
#!/bin/bash
|
|
|
|
set -eux
|
|
commit="$(git rev-parse "$1^{commit}")"
|
|
|
|
tmp="$(mktemp --directory)"
|
|
trap "rm -rvf \"$tmp\"" EXIT
|
|
|
|
# c-o
|
|
git worktree add "$tmp" "$commit"
|
|
trap "git worktree remove \"$tmp\"" EXIT
|
|
cd "$tmp"
|
|
|
|
# make
|
|
cd docs
|
|
make html
|
|
|
|
# rsync
|
|
rsync -raAXP _build/html/ "Gimli:WWW/mwd/$commit/"
|
|
ssh Gimli "chmod -R o+rX WWW/mwd/$commit"
|
|
|
|
echo Done.
|
|
|