Infra: Add make htmllive to rebuild and reload HTML files in your browser#3521
Merged
hugovk merged 1 commit intopython:mainfrom hugovk:make-htmlliveNov 12, 2023
+8
make htmllive to rebuild and reload HTML files in your browser#3521