regen-docs

#!/bin/bash

mkdir -p docs/_static docs/_build
for F in basic.css default.css ; do
    rm -f docs/_build/_static/$F
done
sphinx-build -E -b html docs/ docs/_build || exit 1
if [ "$1" = "publish" ] ; then
  cd docs/
  echo "Uploading files... (not enabled)"
  exit 2
fi
pushd docs/_build/_static
for F in basic.css default.css ; do
  if [ -e ../../_static/$F ] ; then
    rm -f $F
    ln -s ../../_static/$F
  fi
done
popd