Add `htmllive` target to `make.bat`
ezio-melotti opened this issue · 0 comments
ezio-melotti commented
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:
On Windows it is still not available.