From b2d4974aad0d5082015ea9002f92815e3c71c45a Mon Sep 17 00:00:00 2001 From: Ezio Melotti Date: Thu, 8 Aug 2024 16:42:39 +0200 Subject: [PATCH] Remove obsolete `serve` target from `make.bat`. (#1365) --- make.bat | 5 ----- 1 file changed, 5 deletions(-) diff --git a/make.bat b/make.bat index 64661e8d27..3358cb693c 100644 --- a/make.bat +++ b/make.bat @@ -218,11 +218,6 @@ rem Ignore the tools and venv dirs and check that the default role is not used. cmd /S /C "%SPHINXLINT% -i tools -i venv --enable default-role" goto end -:serve - echo.The serve target was removed, use htmlview instead ^ -(see https://github.com/python/cpython/issues/80510) -goto end - if "%1" == "versions" ( %PYTHON% _tools/generate_release_cycle.py if errorlevel 1 exit /b 1