# HG changeset patch
# User Anton Shestakov <av6@dwimlabs.net>
# Date 1605090855 -28800
# Node ID 5affbb44f135c729aba9a327bf1cc494357f6ed1
# Parent  bec8a04d2f6ad9fc035e787011ca8d09a66bbe1c
packaging: run sphinx on py3 by default

diff -r bec8a04d2f6a -r 5affbb44f135 docs/makefile
--- a/docs/makefile	Sun Aug 23 10:09:44 2020 +0800
+++ b/docs/makefile	Wed Nov 11 18:34:15 2020 +0800
@@ -1,4 +1,4 @@
-SPHINXBUILD ?= sphinx-build
+SPHINXBUILD ?= python3 -m sphinx -b html
 
 .PHONY: all
 all: tutorials/tutorial.rst tutorials/topic-tutorial.rst static/logo-evolve.ico