diff --git a/doc/Makefile b/doc/Makefile index bb034b26b8c7b..333010bfdabbc 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -15,8 +15,10 @@ ALLSPHINXOPTS = -d $(BUILDDIR)/doctrees $(PAPEROPT_$(PAPER)) $(SPHINXOPTS) . I18NSPHINXOPTS = $(PAPEROPT_$(PAPER)) $(SPHINXOPTS) . JULIA_ENV = $(JULIAHOME)/deps/julia-env -ACTIVATE = $(JULIA_ENV)/bin/activate -SPHINX_BUILD = $(JULIA_ENV)/bin/sphinx-build +# Win32 Python uses /Scripts instead of /bin +JULIA_ENV_BIN = $(shell if [ -e $(JULIA_ENV)/Scripts ]; then echo $(JULIA_ENV)/Scripts; else echo $(JULIA_ENV)/bin; fi) +ACTIVATE = $(JULIA_ENV_BIN)/activate +SPHINX_BUILD = $(JULIA_ENV_BIN)/sphinx-build $(ACTIVATE): $(MAKE) -C $(JULIAHOME)/deps install-virtualenv