Tweak sphinx-docs.sh to pick up venv