Rebuild docs

6 years ago · 836eebbf42
--- a/+ 1
+++ b/+ 1
@ -1 +1 @@
 Subproject commit 6615281c7e436a256166470998bbd7f823cb6165
 Subproject commit 777ce6e347bd4f5c7678677b758d2d6236cf32e4
--- 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.
--- 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.