#!/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
- git -C $GIT_DIR/psensor pull
+ echo "GIT pull"
+ git -C $GIT_DIR/psensor pull
fi
-asciidoctor $GIT_DIR/psensor/NEWS -D www/psensor
-asciidoctor $GIT_DIR/psensor/README -D www/psensor
+SDIR=`dirname $0`
+RDIR=`realpath $SDIR`
+
+OPTS="-a linkcss -a docinfodir=$RDIR"
+
+asciidoctor $OPTS $GIT_DIR/psensor/NEWS -D www/psensor
+asciidoctor $OPTS $GIT_DIR/psensor/README -D www/psensor
-asciidoctor $GIT_DIR/psensor/doc/faq.txt -D www/psensor
-asciidoctor $GIT_DIR/psensor/doc/TODO.txt -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