From fbd111cfd13aaa9fe0af95e20d3220df52557803 Mon Sep 17 00:00:00 2001
From: Daniel Hahler <git@thequod.de>
Date: Sat, 7 Mar 2020 03:42:04 +0100
Subject: [PATCH] doc/{Makefile,make.bat}: remove unused SPHINXPROJ

Appears to have been forgotten in f101bb661.
---
 doc/Makefile | 1 -
 doc/make.bat | 1 -
 2 files changed, 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