From 924386924823ecece124ae235ec377b5126c01d2 Mon Sep 17 00:00:00 2001 From: Ruben Verweij Date: Tue, 30 Apr 2019 10:23:37 +0200 Subject: [PATCH] Rebuild docs --- docs | 2 +- sphinx/Makefile | 2 +- sphinx/make.bat | 4 ++-- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/docs b/docs index 6615281..777ce6e 160000 --- a/docs +++ b/docs @@ -1 +1 @@ -Subproject commit 6615281c7e436a256166470998bbd7f823cb6165 +Subproject commit 777ce6e347bd4f5c7678677b758d2d6236cf32e4 diff --git a/sphinx/Makefile b/sphinx/Makefile index e87fbc3..c1f4473 100644 --- a/sphinx/Makefile +++ b/sphinx/Makefile @@ -2,7 +2,7 @@ # # You can set these variables from the command line. -SPHINXBUILD = sphinx-build +SPHINXBUILD = python3 -msphinx BUILDDIR = ../docs # Internal variables. diff --git a/sphinx/make.bat b/sphinx/make.bat index e999357..b2430f5 100644 --- a/sphinx/make.bat +++ b/sphinx/make.bat @@ -5,7 +5,7 @@ REM Command file for Sphinx documentation pushd %~dp0 if "%SPHINXBUILD%" == "" ( - set SPHINXBUILD=sphinx-build + set SPHINXBUILD=python3 -msphinx ) set BUILDDIR=../docs set ALLSPHINXOPTS= . @@ -26,7 +26,7 @@ goto sphinx_ok :sphinx_python -set SPHINXBUILD=python -m sphinx.__init__ +set SPHINXBUILD=python3 -m sphinx.__init__ %SPHINXBUILD% 2> nul if errorlevel 9009 ( echo.