Browse Source

Rebuild docs

Ruben Verweij 6 years ago
parent
commit
bb941fb3d8
3 changed files with 4 additions and 4 deletions
  1. +1
    -1
      docs
  2. +1
    -1
      sphinx/Makefile
  3. +2
    -2
      sphinx/make.bat

+ 1
- 1
docs

@ -1 +1 @@
Subproject commit 6615281c7e436a256166470998bbd7f823cb6165
Subproject commit 777ce6e347bd4f5c7678677b758d2d6236cf32e4

+ 1
- 1
sphinx/Makefile View File

@ -2,7 +2,7 @@
#
# You can set these variables from the command line.
SPHINXBUILD = sphinx-build
SPHINXBUILD = python3 -msphinx
BUILDDIR = ../docs
# Internal variables.


+ 2
- 2
sphinx/make.bat View File

@ -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.


Loading…
Cancel
Save