publish-docs

   1 #! /bin/sh
   2
   3 web="`git config --get --path htdocs.path`" &&
   4
   5 cd "`dirname \"$0\"`"/docs/_build/html &&
   6 rsync -ahP --del * --exclude=objects.inv "$web" &&
   7
   8 exec chmod -R u=rwX,go=rX "$web"