9179ee1ac6431bc1c4c58ec965d21cd51060c5e4
[www.git] / psensor-www-update.sh
1 #!/bin/bash
2
3 set -e
4
5 GIT_DIR=git
6
7 if [ ! -d $GIT_DIR/psensor ]; then
8     git clone http://git.wpitchoune.net/psensor.git $GIT_DIR/psensor
9 else
10     git -C $GIT_DIR/psensor pull
11 fi
12
13 asciidoctor $GIT_DIR/psensor/NEWS -D www/psensor
14 asciidoctor $GIT_DIR/psensor/README -D www/psensor
15
16 asciidoctor $GIT_DIR/psensor/doc/faq.txt -D www/psensor
17 asciidoctor $GIT_DIR/psensor/doc/TODO.txt -D www/psensor