Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Remove obsolete serve target from make.bat.
  • Loading branch information
ezio-melotti authored Aug 8, 2024
commit f48b8bb4ba4b7b667569f52c9a7758bb7230ddce
5 changes: 0 additions & 5 deletions make.bat
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down