Remove duplicate cargo install
It's already executed in setup_web.sh.
This commit is contained in:
parent
9ff285409d
commit
eed822cf46
|
@ -3,8 +3,6 @@
|
||||||
@REM Starts a local web-server that serves the contents of the `doc/` folder,
|
@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.
|
@REM which is the folder to where the web version is compiled.
|
||||||
|
|
||||||
cargo install basic-http-server
|
|
||||||
|
|
||||||
echo "open http://localhost:8080"
|
echo "open http://localhost:8080"
|
||||||
|
|
||||||
(cd docs && basic-http-server --addr 127.0.0.1:8080 .)
|
(cd docs && basic-http-server --addr 127.0.0.1:8080 .)
|
||||||
|
|
|
@ -4,8 +4,6 @@ set -eu
|
||||||
# Starts a local web-server that serves the contents of the `doc/` folder,
|
# Starts a local web-server that serves the contents of the `doc/` folder,
|
||||||
# which is the folder to where the web version is compiled.
|
# which is the folder to where the web version is compiled.
|
||||||
|
|
||||||
cargo install basic-http-server
|
|
||||||
|
|
||||||
echo "open http://localhost:8080"
|
echo "open http://localhost:8080"
|
||||||
|
|
||||||
(cd docs && basic-http-server --addr 127.0.0.1:8080 .)
|
(cd docs && basic-http-server --addr 127.0.0.1:8080 .)
|
||||||
|
|
Loading…
Reference in a new issue