diff options
Diffstat (limited to 'python/docs/Makefile')
-rw-r--r-- | python/docs/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/python/docs/Makefile b/python/docs/Makefile index 903009790b..905e0215c2 100644 --- a/python/docs/Makefile +++ b/python/docs/Makefile @@ -2,10 +2,10 @@ # # You can set these variables from the command line. -SPHINXOPTS = -SPHINXBUILD = sphinx-build -PAPER = -BUILDDIR = _build +SPHINXOPTS ?= +SPHINXBUILD ?= sphinx-build +PAPER ?= +BUILDDIR ?= _build export PYTHONPATH=$(realpath ..):$(realpath ../lib/py4j-0.9.2-src.zip) |