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
  18
  19 asciidoctor -a linkcss src/psensor/index.adoc -D www/psensor