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.

28 lines
459 B

#!/bin/bash
set -ueo pipefail
mkdir -p static/client
cp ../klient/client.py static/client
cp ../klient/strategy.py static/client
cp ../klient/strategy.cpp static/client
cp ../klient/jsmn.h static/client
(
cd static/client
zip ../client.zip *
)
(
cd static/client
git add .
git commit -m "BUGFIX"
git update-server-info
)
unlink static/client.git
ln -sr static/client/.git static/client.git
pandoc ../pravidla.md --to=pdf -o static/pravidla.pdf