diff options
| author | Krzysztof Blazewicz <blazewicz.krzysztof@gmail.com> | 2017-02-25 13:50:19 +0100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2017-02-27 15:39:55 +1100 |
| commit | ae116c2430f9c990dcf619f4b8f90b2fc0c18984 (patch) | |
| tree | 3fa3d73f26c7cf7cab7de7c7c5bbf957e83bc1a3 | |
| parent | ad81a2e6cf349cba514e73dc4fe18b1d512b7ce4 (diff) | |
| download | micropython-ae116c2430f9c990dcf619f4b8f90b2fc0c18984.tar.gz micropython-ae116c2430f9c990dcf619f4b8f90b2fc0c18984.zip | |
docs/Makefile: define and use PYTHON as the interpreter for CPYDIFF
User can override PYTHON executable before running script,
gen-cpydiff.py works only with Python3 and most systems register
its executable as 'python3'.
| -rw-r--r-- | docs/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/Makefile b/docs/Makefile index b4e338ad55..e9c128e900 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -2,6 +2,7 @@ # # You can set these variables from the command line. +PYTHON = python3 SPHINXOPTS = SPHINXBUILD = sphinx-build PAPER = @@ -60,7 +61,7 @@ clean: cpydiff: @echo "Generating MicroPython Differences." rm -f $(GENRSTDIR)/* - cd $(CPYDIFFDIR) && python $(CPYDIFF) + cd $(CPYDIFFDIR) && $(PYTHON) $(CPYDIFF) html: cpydiff $(SPHINXBUILD) $(FORCE) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html |