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-fi...
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%