Add doc build script

#! /bin/bash

set -e

PY_EXE=python3.5

echo "-----------------------------------------------"

echo "Current directory: $(pwd)"

echo "Python executable: ${PY_EXE}"

echo "-----------------------------------------------"

# {{{ clean up

rm -Rf .env

rm -Rf build

find . -name '*.pyc' -delete

rm -Rf env

git clean -fdx -e siteconf.py -e boost-numeric-bindings

if test `find "siteconf.py" -mmin +1`; then

  echo "siteconf.py older than a minute, assumed stale, deleted"

  rm -f siteconf.py

fi

# }}}

git submodule update --init --recursive

# {{{ virtualenv

${PY_EXE} -m venv .env

. .env/bin/activate

${PY_EXE} -m ensurepip

# }}}

if test "$EXTRA_INSTALL" != ""; then

  for i in $EXTRA_INSTALL ; do

    $PIP install $i

  done

fi

if test "$REQUIREMENTS_TXT" == ""; then

  REQUIREMENTS_TXT="requirements.txt"

fi

if test -f $REQUIREMENTS_TXT; then

  $PIP install -r $REQUIREMENTS_TXT

fi

$PIP install sphinx

cd doc

cat > doc_upload_ssh_config <<END

Host doc-upload

   User doc

   IdentityFile doc_upload_key

   IdentitiesOnly yes

   Hostname tiker.net

END

make html

echo "${DOC_UPLOAD_KEY}" > doc_upload_key

./upload-docs.sh || { rm doc_upload_key; exit 1 }

rm doc_upload_key