Xqt has submitted this change. ( https://gerrit.wikimedia.org/r/c/pywikibot/core/+/911255 )
Change subject: [fix] Fix make.bat file to show duration time
......................................................................
[fix] Fix make.bat file to show duration time
STARTTIME and ENDTIME is given without preleading "0".
Calculate hours respecting this fact.
use "nature" as sample theme
Change-Id: Ic298c74c9107a93fba87400278ecd55a8007e66e
---
M docs/make.bat
1 file changed, 19 insertions(+), 5 deletions(-)
Approvals:
jenkins-bot: Verified
Xqt: Looks good to me, approved
diff --git a/docs/make.bat b/docs/make.bat
index 7819bc3..bcc8d53 100644
--- a/docs/make.bat
+++ b/docs/make.bat
@@ -39,14 +39,14 @@
echo Start: %STARTTIME%
echo End: %ENDTIME%
-rem calculate elapsed time, code modified from
+rem calculate elapsed time, modified code from
rem https://stackoverflow.com/questions/4487100/how-can-i-use-a-windows-batch-f…
rem convert STARTTIME and ENDTIME to seconds
-set /A STARTTIME=(1%STARTTIME:~0,2%-100)*3600 + (1%STARTTIME:~3,2%-100)*60 + (1%STARTTIME:~6,2%-100)
-set /A ENDTIME=(1%ENDTIME:~0,2%-100)*3600 + (1%ENDTIME:~3,2%-100)*60 + (1%ENDTIME:~6,2%-100)
+set /A STARTTIME=(%STARTTIME:~0,2%)*3600 + (1%STARTTIME:~3,2%-100)*60 + (1%STARTTIME:~6,2%-100)
+set /A ENDTIME=(%ENDTIME:~0,2%)*3600 + (1%ENDTIME:~3,2%-100)*60 + (1%ENDTIME:~6,2%-100)
-rem calculating the duratyion is easy
+rem calculating the duration is easy
set /A DURATION=%ENDTIME%-%STARTTIME%
rem we might have measured the time inbetween days
@@ -70,7 +70,7 @@
echo.
echo make has the following options:
echo make ^<target^> [^<theme^>]
-echo make html basic
+echo make html nature
echo.
%SPHINXBUILD% -M help %SOURCEDIR% %BUILDDIR%
--
To view, visit https://gerrit.wikimedia.org/r/c/pywikibot/core/+/911255
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: Ic298c74c9107a93fba87400278ecd55a8007e66e
Gerrit-Change-Number: 911255
Gerrit-PatchSet: 1
Gerrit-Owner: Xqt <info(a)gno.de>
Gerrit-Reviewer: Xqt <info(a)gno.de>
Gerrit-Reviewer: jenkins-bot
Gerrit-MessageType: merged