fixed error in doc build script, causing html folder to be copied instead of its contents
This commit is contained in:
parent
5fbe0bcb8d
commit
7de2d921d8
1 changed files with 3 additions and 3 deletions
|
@ -1,4 +1,4 @@
|
||||||
cd docs
|
cd docs || exit
|
||||||
rm -rf build
|
rm -rf build
|
||||||
rm -rf gh-pages
|
rm -rf gh-pages
|
||||||
|
|
||||||
|
@ -6,10 +6,10 @@ make html
|
||||||
|
|
||||||
git clone git@github.com:F-WuTS/compLIB.git gh-pages
|
git clone git@github.com:F-WuTS/compLIB.git gh-pages
|
||||||
|
|
||||||
cd gh-pages
|
cd gh-pages || exit
|
||||||
git checkout gh-pages
|
git checkout gh-pages
|
||||||
|
|
||||||
cp -r ../build/html/ .
|
cp -r ../build/html/* .
|
||||||
|
|
||||||
git add .
|
git add .
|
||||||
git commit -a -m "Update documentation"
|
git commit -a -m "Update documentation"
|
||||||
|
|
Reference in a new issue