Merge pull request #7265 from blueyed/rm-SPHINXPROJ

doc/{Makefile,make.bat}: remove unused SPHINXPROJ
2025-02-25 18:55:22 -06:00 · 2020-03-07 12:02:52 +09:00
parent c8f81c0150 fbd111cfd1
commit 0e89979355
2 changed files with 0 additions and 2 deletions
--- 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

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