GIT_DIR=git
if [ ! -d $GIT_DIR/psensor ]; then
+ echo "GIT clone"
git clone http://git.wpitchoune.net/psensor.git $GIT_DIR/psensor
else
+ echo "GIT pull"
git -C $GIT_DIR/psensor pull
fi
asciidoctor $OPTS $GIT_DIR/psensor/doc/TODO.txt -D www/psensor
asciidoctor $OPTS src/psensor/index.adoc -D www/psensor
+asciidoctor $OPTS src/psensor/ubuntu.adoc -D www/psensor