+#!/bin/bash
+
+set -e
+
+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
+
+SDIR=`dirname $0`
+RDIR=`realpath $SDIR`
+
+OPTS="-a linkcss -a stylesheet=../style.css -a docinfodir=$RDIR"
+
+asciidoctor $OPTS $GIT_DIR/psensor/NEWS -D www/psensor
+asciidoctor $OPTS $GIT_DIR/psensor/README -D www/psensor
+
+asciidoctor $OPTS $GIT_DIR/psensor/doc/faq.txt -D www/psensor
+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/
+asciidoctor $OPTS src/psensor/remote.adoc -D www/psensor/
+
+OPTS="-a linkcss -a stylesheet=style.css -a docinfodir=$RDIR"
+
+asciidoctor $OPTS src/index.adoc -D www/