diff options
| author | Steve Dower <steve.dower@python.org> | 2019-12-16 18:35:22 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-16 18:35:22 (GMT) |
| commit | a76ba362c4d86adf5e7f8254398135d12d7afd25 (patch) | |
| tree | 58c79d5a633c6bc039d80ad8cce5b0b522f16ed2 /Doc/make.bat | |
| parent | 814d687c7df3e0c60036943b68ece13f9f19dfef (diff) | |
| download | cpython-a76ba362c4d86adf5e7f8254398135d12d7afd25.zip cpython-a76ba362c4d86adf5e7f8254398135d12d7afd25.tar.gz cpython-a76ba362c4d86adf5e7f8254398135d12d7afd25.tar.bz2 | |
bpo-39041: Add GitHub Actions support (GH-17594)
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" ( |