Add ghpages script
This commit is contained in:
parent
0150070b02
commit
aa33dc36d8
8 changed files with 63 additions and 2 deletions
21
sphinx_to_github.sh
Executable file
21
sphinx_to_github.sh
Executable file
|
@ -0,0 +1,21 @@
|
|||
cd docs
|
||||
rm -rf build
|
||||
rm -rf gh-pages
|
||||
|
||||
make html
|
||||
|
||||
git clone git@github.com:F-WuTS/compLIB.git gh-pages
|
||||
|
||||
cd gh-pages
|
||||
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 ..
|
Reference in a new issue