Remove obsolete serve target from make.bat.

[ezio-melotti]

This is a follow-up of:

• Remove GNU make-specific directive from Makefile #1362

The PR removed the make serve target from the Makefile but not from make.bat.

---

Slightly unrelated, but I noticed that the serve replacement -- htmllive -- seems to be missing from make.bat. htmllive (formerly known as autobuild) was introduced in:

• Add make autobuild to rebuild and reload HTML files in your browser #1208
  sphinx-autobuild seems to be multiplat, so it should be possible to add it for Windows too.

---

📚 Documentation preview 📚: https://cpython-devguide--1365.org.readthedocs.build/

[hugovk]

Slightly unrelated, but I noticed that the serve replacement -- htmllive -- seems to be missing from make.bat.

I probably skipped it because I don't have Windows to test it on. But it's so useful, I'd recommend someone with Windows adds it.

[AA-Turner]

I don't think I've once used make.bat, to be honest. One of those Sphinx people should really look into making their CLI better...!

A

[ezio-melotti]

• Add htmllive target to make.bat #1366