deploy.sh

#!/bin/sh
set -euo pipefail

git pull
make clean html man latexpdf

rm -rf _deployed.old
[ -d _deployed ] && mv _deployed _deployed.old || true
mv _build _deployed
Initial 2015-05-28 12:40:43 +02:00			`#!/bin/sh`
Spacing, deploy 2015-05-28 14:17:54 +02:00			`set -euo pipefail`
Initial 2015-05-28 12:40:43 +02:00
Spacing, deploy 2015-05-28 14:17:54 +02:00			`git pull`
Build pdf 2015-05-30 11:29:21 +02:00			`make clean html man latexpdf`
Spacing, deploy 2015-05-28 14:17:54 +02:00
			`rm -rf _deployed.old`
			`[ -d _deployed ] && mv _deployed _deployed.old \|\| true`
			`mv _build _deployed`
Initial 2015-05-28 12:40:43 +02:00