jenkins-bot has submitted this change. ( https://gerrit.wikimedia.org/r/c/pywikibot/core/+/856167 ) Change subject: [doc] Enable sphinx options with make.bat file ...................................................................... [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(-) Approvals: Xqt: Looks good to me, approved jenkins-bot: Verified 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 -- To view, visit https://gerrit.wikimedia.org/r/c/pywikibot/core/+/856167 To unsubscribe, or for help writing mail filters, visit https://gerrit.wikimedia.org/r/settings Gerrit-Project: pywikibot/core Gerrit-Branch: master Gerrit-Change-Id: I6b4eb56bd6a7ad15ae985679828ecb1c78b9db4e Gerrit-Change-Number: 856167 Gerrit-PatchSet: 2 Gerrit-Owner: Xqt &lt;info(a)gno.de&gt; Gerrit-Reviewer: Dvorapa &lt;dvorapa(a)seznam.cz&gt; Gerrit-Reviewer: Hashar &lt;hashar(a)free.fr&gt; Gerrit-Reviewer: KBach &lt;kbach(a)wikimedia.org&gt; Gerrit-Reviewer: Xqt &lt;info(a)gno.de&gt; Gerrit-Reviewer: jenkins-bot Gerrit-MessageType: merged