From c7842f479836e4aec449a83ddf2907d28dde6027 Mon Sep 17 00:00:00 2001
From: Ihor Nehrutsa <Ihor.Nehrutsa@gmail.com>
Date: Fri, 10 Sep 2021 08:44:03 +0300
Subject: [PATCH] docs/make.bat: Change Windows output dir from '_build' to
 'build'.

To match the output file used by Makefile.
---
 docs/make.bat | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/make.bat b/docs/make.bat
index c09487fb74..2a9e670e4d 100644
--- a/docs/make.bat
+++ b/docs/make.bat
@@ -5,7 +5,7 @@ REM Command file for Sphinx documentation
 if "%SPHINXBUILD%" == "" (
 	set SPHINXBUILD=sphinx-build
 )
-set BUILDDIR=_build
+set BUILDDIR=build
 set SPHINXOPTS=-W --keep-going
 set ALLSPHINXOPTS=-d %BUILDDIR%/doctrees %SPHINXOPTS% .
 set I18NSPHINXOPTS=%SPHINXOPTS% .