13 lines
340 B
Bash
Executable file
13 lines
340 B
Bash
Executable file
#!/bin/bash
|
|
set -eu
|
|
|
|
# Starts a local web-server that serves the contents of the `doc/` folder,
|
|
# which is the folder to where the web version is compiled.
|
|
|
|
cargo install basic-http-server
|
|
|
|
echo "open http://localhost:8080"
|
|
|
|
(cd docs && basic-http-server --addr 127.0.0.1:8080 .)
|
|
# (cd docs && python3 -m http.server 8080 --bind 127.0.0.1)
|