From 1b36b3fef768f003bb65d4d8c16f446d59439d4b Mon Sep 17 00:00:00 2001
From: shimizukawa <shimizukawa@gmail.com>
Date: Sun, 17 Jun 2018 15:24:23 +0900
Subject: [PATCH] make.bat must follow #4097.

---
 doc/make.bat | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/make.bat b/doc/make.bat
index 0a4bd77b9..1e6dc991e 100644
--- a/doc/make.bat
+++ b/doc/make.bat
@@ -3,7 +3,7 @@
 REM Command file for Sphinx documentation
 
 if "%SPHINXBUILD%" == "" (
-	set SPHINXBUILD=python ../sphinx-build.py
+	set SPHINXBUILD=python ../sphinx/cmd/build.py
 )
 set SOURCEDIR=.
 set BUILDDIR=_build