diff options
| author | Jakob Lykke Andersen <Jakob@caput.dk> | 2018-06-17 09:57:52 +0200 |
|---|---|---|
| committer | Jakob Lykke Andersen <Jakob@caput.dk> | 2018-06-17 09:57:52 +0200 |
| commit | cff11467756468dae045bc82d0d59cf04bbe8570 (patch) | |
| tree | ed5e9c09b7bdb97f2eaede25f6c852676da3f8e2 /doc/Makefile | |
| parent | 3d6c7d147d535a85facccb2c13c8ccc3fdfa2d27 (diff) | |
| download | sphinx-git-cff11467756468dae045bc82d0d59cf04bbe8570.tar.gz | |
Customizable Python interpreter in doc/Makefile
Fix after previous stray edit.
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index 293ccca2e..4d2067071 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -1,9 +1,10 @@ # Makefile for Sphinx documentation # +PYTHON ?= python # You can set these variables from the command line. SPHINXOPTS = -SPHINXBUILD = python3 ../sphinx/cmd/build.py +SPHINXBUILD = $(PYTHON) ../sphinx/cmd/build.py SPHINXPROJ = sphinx SOURCEDIR = . BUILDDIR = _build |