The attached patch instructs Windows users what to do in case 'sphinx-build' is not found and where to get it.
# HG changeset patch # User anatoly techtonik <techto...@gmail.com> # Date 1350916093 -10800 # Node ID eca7146dc07ed4d2ccbcece31cef89ef19eee452 # Parent 1f3a2749df398b4893bff71b0b243fad1851f093 Provide instructions for make.bat in case sphinx-build is not found diff -r 1f3a2749df39 -r eca7146dc07e sphinx/quickstart.py --- a/sphinx/quickstart.py Sun Jul 29 19:27:36 2012 +0200 +++ b/sphinx/quickstart.py Mon Oct 22 17:28:13 2012 +0300 @@ -414,6 +414,20 @@ clean: \t-rm -rf $(BUILDDIR)/* + +%SPHINXBUILD% 2> nul +if errorlevel 9009 ( + echo. + echo.'sphinx-build' command is not found. Make sure you have Sphinx + echo.installed, then set SPHINXBUILD environment variable to point + echo.to a full path of 'sphinx-build' executable. Alternatively you + echo.may add Sphinx directory to PATH. + echo. + echo.If you don't have Sphinx installed, grab it from + echo.http://sphinx.pocoo.org/ + exit /b 1 +) + html: \t$(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html \t@echo -- You received this message because you are subscribed to the Google Groups "sphinx-dev" group. To view this discussion on the web visit https://groups.google.com/d/msg/sphinx-dev/-/bDKnYFMGHIsJ. To post to this group, send email to sphinx-dev@googlegroups.com. To unsubscribe from this group, send email to sphinx-dev+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sphinx-dev?hl=en.
