From ec2a5b087a7fed598876509a205b3d835aaa61eb Mon Sep 17 00:00:00 2001 From: Tony Kelman Date: Fri, 2 Jan 2015 04:29:11 -0800 Subject: [PATCH] Win32 Python puts these in /Scripts instead of /bin I have some colorful language for whoever decided that was a good idea... --- doc/Makefile | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) 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