7 if [ ! -d $GIT_DIR/psensor ]; then
8 git clone http://git.wpitchoune.net/psensor.git $GIT_DIR/psensor
10 git -C $GIT_DIR/psensor pull
16 OPTS="-a linkcss -a docinfodir=$RDIR"
18 asciidoctor $OPTS $GIT_DIR/psensor/NEWS -D www/psensor
19 asciidoctor $OPTS $GIT_DIR/psensor/README -D www/psensor
21 asciidoctor $OPTS $GIT_DIR/psensor/doc/faq.txt -D www/psensor
22 asciidoctor $OPTS $GIT_DIR/psensor/doc/TODO.txt -D www/psensor
24 asciidoctor $OPTS src/psensor/index.adoc -D www/psensor