blob: 82c834d0dc62f5053476e28efe55068bfbd99b73 [file] [log] [blame]
#!/bin/bash
# Make a new repo for the gh-pages branch
rm -rf .gh-pages
mkdir .gh-pages
cd .gh-pages
git init
# Copy over the documentation
cp -r ../target/doc/* .
cat <<EOF > index.html
<!doctype html>
<title>sha1</title>
<meta http-equiv="refresh" content="0; ./sha1/">
EOF
# Add, commit and push files
git add -f --all .
git commit -m "Built documentation"
git checkout -b gh-pages
git remote add origin git@github.com:mitsuhiko/rust-sha1.git
git push -qf origin gh-pages
# Cleanup
cd ..
rm -rf .gh-pages