[doc] Enable sphinx options with make.bat file

sphinx options may be necessary to override docs/conf.py settings.

Bug: T322979
Change-Id: I6b4eb56bd6a7ad15ae985679828ecb1c78b9db4e
---
M docs/make.bat
1 file changed, 20 insertions(+), 1 deletion(-)

diff --git a/docs/make.bat b/docs/make.bat
index 8bacfe3..3d4ec0a 100644
--- a/docs/make.bat
+++ b/docs/make.bat
@@ -10,8 +10,10 @@
 set SOURCEDIR=.

 set BUILDDIR=_build

 set SPHINXPROJ=Pywikibot

+set SPHINXOPTS=%~2 %~3 %~4 %~5 %~6 %~7 %~8 %~9

 
 if "%1" == "" goto help

+if "%1" == "help" goto help

 
 %SPHINXBUILD% >NUL 2>NUL

 if errorlevel 9009 (

@@ -30,7 +32,12 @@
 goto end

 
 :help

-%SPHINXBUILD% -M help %SOURCEDIR% %BUILDDIR% %SPHINXOPTS%

+echo.

+echo make has the following options:

+echo     make ^<target^> [^<sphinx options^>]

+echo     make html -D "html_theme=basic"

+echo.

+%SPHINXBUILD% -M help %SOURCEDIR% %BUILDDIR%

 
 :end

 popd


