commit | d5b9ab7b6f054a0701c2aafca5f6dc0d7a7fe9b9 | [log] [tgz] |
---|---|---|
author | Joakim Bech <joakim.bech@linaro.org> | Wed Jun 05 12:35:21 2019 +0200 |
committer | Joakim Bech <joakim.bech@linaro.org> | Fri Jun 07 18:27:40 2019 +0200 |
tree | 890eaf63a59ee23edb8c7525d11491a0c5ef2ede | |
parent | 9e7464b03786327f2b0ce09ba4b88cc04f2ff828 [diff] [blame] |
build: Allow SPHINXOPTS from the environment Signed-off-by: Joakim Bech <joakim.bech@linaro.org> Reviewed-by: Jerome Forissier <jerome.forissier@linaro.org>
diff --git a/Makefile b/Makefile index a251f98..73d9abd 100644 --- a/Makefile +++ b/Makefile
@@ -2,7 +2,7 @@ # # # You can set these variables from the command line. -SPHINXOPTS = +SPHINXOPTS ?= SPHINXBUILD ?= sphinx-build SPHINXPROJ = OP-TEE SOURCEDIR = .