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

Attempt to unbreak doc uploading, cont.

parent 07c7ecff
......@@ -7,7 +7,7 @@ deploy() {
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-newstyle/build/Cabal- cabal-website/doc/html/Cabal
mv dist-newstyle/build/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)
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