Add htmllive to make.bat #1373

ezio-melotti merged 4 commits intopython:mainpython/devguide:mainfrom

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