mirror of
https://github.com/sphinx-doc/sphinx.git
synced 2025-02-25 18:55:22 -06:00
doc/{Makefile,make.bat}: remove unused SPHINXPROJ
Appears to have been forgotten in f101bb661.
This commit is contained in:
@@ -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
|
||||
|
||||
|
||||
@@ -7,7 +7,6 @@ if "%SPHINXBUILD%" == "" (
|
||||
)
|
||||
set SOURCEDIR=.
|
||||
set BUILDDIR=_build
|
||||
set SPHINXPROJ=sphinx-doc
|
||||
|
||||
if "%1" == "" goto help
|
||||
|
||||
|
||||
Reference in New Issue
Block a user