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 SDIR=`dirname $0`
  14 RDIR=`realpath $SDIR`
  15
  16 OPTS="-a linkcss -a docinfodir=$RDIR"
  17
  18 asciidoctor $OPTS $GIT_DIR/psensor/NEWS -D www/psensor
  19 asciidoctor $OPTS $GIT_DIR/psensor/README -D www/psensor
  20
  21 asciidoctor $OPTS $GIT_DIR/psensor/doc/faq.txt -D www/psensor
  22 asciidoctor $OPTS $GIT_DIR/psensor/doc/TODO.txt -D www/psensor
  23
  24 asciidoctor $OPTS src/psensor/index.adoc -D www/psensor