7 if [ ! -d $GIT_DIR/psensor ]; then
9 git clone http://git.wpitchoune.net/psensor.git $GIT_DIR/psensor
12 git -C $GIT_DIR/psensor pull
18 OPTS="-a linkcss -a stylesheet=../style.css -a docinfodir=$RDIR"
20 asciidoctor $OPTS $GIT_DIR/psensor/NEWS -D www/psensor
21 asciidoctor $OPTS $GIT_DIR/psensor/README -D www/psensor
23 asciidoctor $OPTS $GIT_DIR/psensor/doc/faq.txt -D www/psensor
24 asciidoctor $OPTS $GIT_DIR/psensor/doc/TODO.txt -D www/psensor
26 asciidoctor $OPTS src/psensor/index.adoc -D www/psensor/
27 asciidoctor $OPTS src/psensor/ubuntu.adoc -D www/psensor/
28 asciidoctor $OPTS src/psensor/remote.adoc -D www/psensor
29 asciidoctor $OPTS src/psensor/contribute.adoc -D www/psensor/
31 OPTS="-a linkcss -a stylesheet=style.css -a docinfodir=$RDIR"
33 asciidoctor $OPTS src/index.adoc -D www/
35 OPTS="-a linkcss -a stylesheet=../style.css"
37 asciidoctor $OPTS src/ppastats/ppastats.adoc -D www/ppastats/
39 asciidoctor $OPTS src/mp3tool/mp3tool.adoc -D www/mp3tool/