diff options
| -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 |