Rebuild docs in a venv using system Sphinx

diff --git a/Makefile b/Makefile
index c2727fb0d33a39ba1b625ba9a63dffe7afb0887b..ee1c84e537608dd840457c0617969d1b8b294d19 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -16,7 +16,7 @@ flake8:
 
 .PHONY: docs
 docs:
-       $(MAKE) -C docs html
+       cd docs && exec ./rebuild
 
 .PHONY: test
 test:

diff --git a/docs/rebuild b/docs/rebuild
new file mode 100755 (executable)
index 0000000..56d07b5
--- /dev/null
+++ b/docs/rebuild
@@ -0,0 +1,4 @@
+#! /bin/sh
+
+SPHINXBUILD="`which sphinx-build`"
+PYTHONPATH=.. exec make SPHINXBUILD="python $SPHINXBUILD" html