documentation, IP writing service
This commit is contained in:
parent
03daabaa37
commit
afe5e9c766
22 changed files with 502 additions and 12 deletions
23
client_s2/sphinx_to_github.sh
Executable file
23
client_s2/sphinx_to_github.sh
Executable file
|
@ -0,0 +1,23 @@
|
|||
export BUILDING_DOCS=true
|
||||
cd docs || exit
|
||||
rm -rf build
|
||||
rm -rf gh-pages
|
||||
|
||||
make html
|
||||
|
||||
git clone git@github.com:F-WuTS/compLIB.git gh-pages
|
||||
|
||||
cd gh-pages || exit
|
||||
git checkout gh-pages
|
||||
|
||||
cp -r ../build/html/* .
|
||||
|
||||
git add .
|
||||
git commit -a -m "Update documentation"
|
||||
git push origin gh-pages
|
||||
|
||||
cd ..
|
||||
rm -rf gh-pages
|
||||
|
||||
cd ..
|
||||
export BUILDING_DOCS=false
|
Reference in a new issue