p53209761
/
test_ok2
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #7326 from xinbinhuang/improve_marker_doc 

Remove start_doc_server.sh script
This commit is contained in:
Anthony Sottile 2020-06-09 01:55:30 -07:00 committed by GitHub
parent fcbaab8b0b c471b382f5
commit aabf03350a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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