Commit 019ef6f6 authored by Mikhail Glushenkov's avatar Mikhail Glushenkov Committed by GitHub
Browse files

Attempt to unbreak doc uploading.

parent 487565aa
......@@ -4,16 +4,13 @@ set -ex
deploy() {
git config --global ""
git config --global "Travis CI User"
git clone ../cabal-website
cd ../cabal-website
git checkout --track -b gh-pages origin/gh-pages
cd -
mkdir -p ../cabal-website/doc/html
mv Cabal/dist/doc/html/Cabal ../cabal-website/doc/html/Cabal
cd ../cabal-website
git add --all .
git commit --amend --reset-author -m "Deploy to GitHub ($(date))."
git push --force gh-pages:gh-pages
git clone cabal-website
(cd cabal-website && git checkout --track -b gh-pages origin/gh-pages)
mkdir -p cabal-website/doc/html
mv Cabal/dist/doc/html/Cabal cabal-website/doc/html/Cabal
(cd cabal-website && git add --all .)
(cd cabal-website && git commit --amend --reset-author -m "Deploy to GitHub ($(date)).")
(cd cabal-website && git push --force gh-pages:gh-pages)
if [ "x$TRAVIS_PULL_REQUEST" = "xfalse" -a "x$TRAVIS_BRANCH" = "xmaster" \
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment