diff options
| author | Miss Islington (bot) <31488909+miss-islington@users.noreply.github.com> | 2020-01-06 16:46:55 (GMT) |
|---|---|---|
| committer | Steve Dower <steve.dower@python.org> | 2020-01-06 16:46:55 (GMT) |
| commit | 0048833e1308d39dc9c6489da7872ade0f14486f (patch) | |
| tree | 39456c4bf1e81604a0de48b31c8138ddbdb8caf3 /Doc/make.bat | |
| parent | b2e281aaa2e4a1f24671d293dfd06b23bb052e47 (diff) | |
| download | cpython-0048833e1308d39dc9c6489da7872ade0f14486f.zip cpython-0048833e1308d39dc9c6489da7872ade0f14486f.tar.gz cpython-0048833e1308d39dc9c6489da7872ade0f14486f.tar.bz2 | |
bpo-39041: Add GitHub Actions support (GH-17594)
(cherry picked from commit a76ba362c4d86adf5e7f8254398135d12d7afd25)
Co-authored-by: Steve Dower <steve.dower@python.org>
Diffstat (limited to 'Doc/make.bat')
| -rw-r--r-- | Doc/make.bat | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Doc/make.bat b/Doc/make.bat index dfc622f..6f8f172 100644 --- a/Doc/make.bat +++ b/Doc/make.bat @@ -54,9 +54,9 @@ if not exist "%HTMLHELP%" ( ) :skiphhcsearch -if "%DISTVERSION%" EQU "" for /f "usebackq" %%v in (`%PYTHON% tools/extensions/patchlevel.py`) do set DISTVERSION=%%v +if not defined DISTVERSION for /f "usebackq" %%v in (`%PYTHON% tools/extensions/patchlevel.py`) do set DISTVERSION=%%v -if "%BUILDDIR%" EQU "" set BUILDDIR=build +if not defined BUILDDIR set BUILDDIR=build rem Targets that don't require sphinx-build if "%1" EQU "" goto help @@ -131,7 +131,7 @@ if exist ..\Misc\NEWS ( ) ) -if NOT "%PAPER%" == "" ( +if defined PAPER ( set SPHINXOPTS=-D latex_elements.papersize=%PAPER% %SPHINXOPTS% ) if "%1" EQU "htmlhelp" ( |