eed822cf46
It's already executed in setup_web.sh.
10 lines
306 B
Batchfile
10 lines
306 B
Batchfile
@echo off
|
|
|
|
@REM Starts a local web-server that serves the contents of the `doc/` folder,
|
|
@REM which is the folder to where the web version is compiled.
|
|
|
|
echo "open http://localhost:8080"
|
|
|
|
(cd docs && basic-http-server --addr 127.0.0.1:8080 .)
|
|
@REM (cd docs && python3 -m http.server 8080 --bind 127.0.0.1)
|