www-update.sh

   1 #!/bin/bash
   2
   3 set -e
   4
   5 GIT_DIR=git
   6
   7 if [ ! -d $GIT_DIR/psensor ]; then
   8     echo "GIT clone"
   9     git clone http://git.wpitchoune.net/psensor.git $GIT_DIR/psensor
  10 else
  11     echo "GIT pull"
  12     git -C $GIT_DIR/psensor pull
  13 fi
  14
  15 SDIR=`dirname $0`
  16 RDIR=`realpath $SDIR`
  17
  18 OPTS="-a linkcss -a stylesheet=../style.css -a docinfodir=$RDIR"
  19
  20 asciidoctor $OPTS $GIT_DIR/psensor/NEWS -D www/psensor
  21 asciidoctor $OPTS $GIT_DIR/psensor/README -D www/psensor
  22
  23 asciidoctor $OPTS $GIT_DIR/psensor/doc/faq.txt -D www/psensor
  24 asciidoctor $OPTS $GIT_DIR/psensor/doc/TODO.txt -D www/psensor
  25
  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/
  30
  31 OPTS="-a linkcss -a stylesheet=style.css -a docinfodir=$RDIR"
  32
  33 asciidoctor $OPTS src/index.adoc -D www/
  34
  35 OPTS="-a linkcss -a stylesheet=../style.css"
  36
  37 asciidoctor $OPTS src/ppastats/ppastats.adoc -D www/ppastats/
  38
  39 asciidoctor $OPTS src/mp3tool/mp3tool.adoc -D www/mp3tool/