diff options
| author | Giampaolo Rodola <g.rodola@gmail.com> | 2016-07-10 18:07:54 +0200 |
|---|---|---|
| committer | Giampaolo Rodola <g.rodola@gmail.com> | 2016-07-10 18:07:54 +0200 |
| commit | d923075e2469a5fd62f5e21ecf2abe3bb46c69d5 (patch) | |
| tree | a285e96bcec00858d4f917a62fd35e548942587e /docs | |
| parent | f4d6d9a3f93a4a334a7c6c751fb98cb81033d754 (diff) | |
| download | psutil-d923075e2469a5fd62f5e21ecf2abe3bb46c69d5.tar.gz | |
make sphinx build more friendly towards user installations
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/Makefile | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/docs/Makefile b/docs/Makefile index b23ab4ba..a69fc329 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -2,16 +2,12 @@ # # You can set these variables from the command line. +PYTHON = python SPHINXOPTS = -SPHINXBUILD = sphinx-build +SPHINXBUILD = $(PYTHON) -m sphinx PAPER = BUILDDIR = _build -# User-friendly check for sphinx-build -ifeq ($(shell which $(SPHINXBUILD) >/dev/null 2>&1; echo $$?), 1) -$(error The '$(SPHINXBUILD)' command was not found. Make sure you have Sphinx installed, then set the SPHINXBUILD environment variable to point to the full path of the '$(SPHINXBUILD)' executable. Alternatively you can add the directory with the executable to your PATH. If you don't have Sphinx installed, grab it from http://sphinx-doc.org/) -endif - # Internal variables. PAPEROPT_a4 = -D latex_paper_size=a4 PAPEROPT_letter = -D latex_paper_size=letter |