diff options
| author | Anton Khirnov <anton@khirnov.net> | 2020-02-25 18:17:49 +0100 |
|---|---|---|
| committer | Anton Khirnov <anton@khirnov.net> | 2020-02-25 18:17:49 +0100 |
| commit | f32dbde9bcef92d3a120f40f536171efe184c23f (patch) | |
| tree | ba71eeda1720c0c060b72e0a918f67af6a0b370e /docs | |
| parent | 4178d0c4850fbf5e509e2f267bef87a06384efc7 (diff) | |
docs: use python3 for building
Diffstat (limited to 'docs')
| -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 |