jiuyuan
/
test_ok1
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Remove start_doc_server.sh script

This commit is contained in:
Xinbin Huang 2020-06-08 21:01:11 -07:00
parent 19ad588935
commit c471b382f5
1 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
doc/en/start_doc_server.sh
View File

@ -1,5 +0,0 @@
#!/usr/bin/env bash
MY_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
cd "${MY_DIR}"/_build/html || exit
python -m http.server 8000