#!/bin/bash
+set -e
+
GIT_DIR=git
if [ ! -d $GIT_DIR/psensor ]; then
git clone http://git.wpitchoune.net/psensor.git $GIT_DIR/psensor
else
- git -C $GIT_DIR/psensor pull
+ git -C $GIT_DIR/psensor pull
fi
asciidoctor $GIT_DIR/psensor/NEWS -D www/psensor
asciidoctor $GIT_DIR/psensor/doc/faq.txt -D www/psensor
asciidoctor $GIT_DIR/psensor/doc/TODO.txt -D www/psensor
-