Add htmllive to make.bat - #1373

Add htmllive to make.bat #1373

ezio-melotti merged 4 commits into

python:mainpython/devguide:mainfrom

lorenzo-delsignore:add-htmllive-windowslorenzo-delsignore/devguide:add-htmllive-windowsCopy head branch name to clipboard