docs: build and push
@@ -7,18 +7,3 @@ cp search.js html/search/search.js
echo "<script id=\"searchdata\" type=\"text/xmldata\">" >> html/search.html
cat searchdata.xml >> html/search.html
echo "</script>" >> html/search.html
\ No newline at end of file
-
-cd $TRAVIS_BUILD_DIR
-git fetch origin gh-pages:origin/gh-pages && git checkout origin/gh-pages -b gh-pages || git checkout --orphan gh-pages
-git reset
-ls | grep -v 'docs' | xargs rm -rf
-git checkout master docs/CNAME
-mv docs/CNAME .
-mv docs/html/* .
-rm -rf docs
-git add *
-if [[ $(git status -s | grep -v "docs/CNAME" | wc -l) -eq "0" ]]; then
- exit
-fi
-git commit -am "Generated documents from TravisCI for build $TRAVIS_BUILD_NUMBER"
-git push -q https://$GH_TOKEN@github.com/$TRAVIS_REPO_SLUG.git gh-pages:gh-pages -f 2> /dev/null
