diff options
-rw-r--r-- | docs/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/Makefile b/docs/Makefile index e8d0c73f..177fb72f 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -6,7 +6,7 @@ SPHINXOPTS = SPHINXBUILD = sphinx-build PAPER = BUILDDIR = build -PYTHON = python +PYTHON = python3 # Internal variables. PAPEROPT_a4 = -D latex_paper_size=a4 |