docs/make.bat: Change Windows output dir from '_build' to 'build'.

IhorNehrutsa · dpgeorge · commit c7842f479836 · 2021-09-13T18:15:38.000+10:00
To match the output file used by Makefile.
diff --git 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% .

Original file line number	Diff line number	Diff line change
`@@ -5,7 +5,7 @@ REM Command file for Sphinx documentation`
`5`	`5`	`if "%SPHINXBUILD%" == "" (`
`6`	`6`	`set SPHINXBUILD=sphinx-build`
`7`	`7`	`)`
`8`		`-set BUILDDIR=_build`
	`8`	`+set BUILDDIR=build`
`9`	`9`	`set SPHINXOPTS=-W --keep-going`
`10`	`10`	`set ALLSPHINXOPTS=-d %BUILDDIR%/doctrees %SPHINXOPTS% .`
`11`	`11`	`set I18NSPHINXOPTS=%SPHINXOPTS% .`