mirror of
https://github.com/sphinx-doc/sphinx.git
synced 2025-02-25 18:55:22 -06:00
Remove unused SPHINXPROJ from new Makefile/make.bat.
This commit is contained in:
parent
169297d0b7
commit
f101bb6615
@ -30,8 +30,6 @@ if False:
|
|||||||
# For type annotation
|
# For type annotation
|
||||||
from typing import List # NOQA
|
from typing import List # NOQA
|
||||||
|
|
||||||
proj_name = os.getenv('SPHINXPROJ', '<project>')
|
|
||||||
|
|
||||||
|
|
||||||
BUILDERS = [
|
BUILDERS = [
|
||||||
("", "html", "to make standalone HTML files"),
|
("", "html", "to make standalone HTML files"),
|
||||||
|
@ -4,7 +4,6 @@
|
|||||||
# You can set these variables from the command line.
|
# You can set these variables from the command line.
|
||||||
SPHINXOPTS =
|
SPHINXOPTS =
|
||||||
SPHINXBUILD = sphinx-build
|
SPHINXBUILD = sphinx-build
|
||||||
SPHINXPROJ = {{ project_fn }}
|
|
||||||
SOURCEDIR = {{ rsrcdir }}
|
SOURCEDIR = {{ rsrcdir }}
|
||||||
BUILDDIR = {{ rbuilddir }}
|
BUILDDIR = {{ rbuilddir }}
|
||||||
|
|
||||||
|
@ -9,7 +9,6 @@ if "%SPHINXBUILD%" == "" (
|
|||||||
)
|
)
|
||||||
set SOURCEDIR={{ rsrcdir }}
|
set SOURCEDIR={{ rsrcdir }}
|
||||||
set BUILDDIR={{ rbuilddir }}
|
set BUILDDIR={{ rbuilddir }}
|
||||||
set SPHINXPROJ={{ project_fn }}
|
|
||||||
|
|
||||||
if "%1" == "" goto help
|
if "%1" == "" goto help
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user