summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/Makefile1
-rw-r--r--doc/make.bat1
2 files changed, 0 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile
index d90ae0881..84eafdbe1 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -5,7 +5,6 @@ PYTHON ?= python3
# You can set these variables from the command line.
SPHINXOPTS =
SPHINXBUILD = $(PYTHON) ../sphinx/cmd/build.py
-SPHINXPROJ = sphinx
SOURCEDIR = .
BUILDDIR = _build
diff --git a/doc/make.bat b/doc/make.bat
index 1e6dc991e..4bc6ddb9a 100644
--- a/doc/make.bat
+++ b/doc/make.bat
@@ -7,7 +7,6 @@ if "%SPHINXBUILD%" == "" (
)
set SOURCEDIR=.
set BUILDDIR=_build
-set SPHINXPROJ=sphinx-doc
if "%1" == "" goto help