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 <info(a)gno.de>
Gerrit-Reviewer: Dvorapa <dvorapa(a)seznam.cz>
Gerrit-Reviewer: Hashar <hashar(a)free.fr>
Gerrit-Reviewer: KBach <kbach(a)wikimedia.org>
Gerrit-Reviewer: Xqt <info(a)gno.de>
Gerrit-Reviewer: jenkins-bot
Gerrit-MessageType: merged