**Describe the enhancement or feature you'd like** Add `htmllive` target to `make.bat` **Additional context** The `htmllive` `make` target (formerly known as `autobuild`) was introduced to the `Makefile` in: * #1208 On Windows it is still not available.
Describe the enhancement or feature you'd like
Add
htmllivetarget tomake.batAdditional context
The
htmllivemaketarget (formerly known asautobuild) was introduced to theMakefilein:make autobuildto rebuild and reload HTML files in your browser #1208On Windows it is still not available.