#!/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 < index.html redis 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/redis-rs.git git push -qf origin gh-pages # Cleanup cd .. rm -rf .gh-pages